PAR-10: Keyword Index

KeywordPapers
a
antifounded coinduction, corecursionAntifounded Coinduction in Type Theory
c
coinductionBeating the Productivity Checker Using Embedded Languages
Termination Checking in the Presence of Nested Inductive and Coinductive Types
coinductiveCyclic Proofs and Coinductive Principles
constructiveCyclic Proofs and Coinductive Principles
corecursionBeating the Productivity Checker Using Embedded Languages
Termination Checking in the Presence of Nested Inductive and Coinductive Types
d
dependent typesMiniAgda: Integrating Sized and Dependent Types
Beating the Productivity Checker Using Embedded Languages
Termination Casts: A Flexible Approach to Termination with General Recursion
Termination Checking in the Presence of Nested Inductive and Coinductive Types
e
Event-BRewriting and Well-Definedness within a Proof System
g
general recursionGeneral Recursion and Formal Topology
Termination Casts: A Flexible Approach to Termination with General Recursion
i
inductiveCyclic Proofs and Coinductive Principles
inductively generated formal topologiesGeneral Recursion and Formal Topology
m
mixed induction and coinductionBeating the Productivity Checker Using Embedded Languages
Termination Checking in the Presence of Nested Inductive and Coinductive Types
p
partial functionsRewriting and Well-Definedness within a Proof System
pattern matchingMiniAgda: Integrating Sized and Dependent Types
ProductivityMiniAgda: Integrating Sized and Dependent Types
Prover ExtensibilityRewriting and Well-Definedness within a Proof System
r
recursion operatorGeneral Recursion and Formal Topology
s
sized typesMiniAgda: Integrating Sized and Dependent Types
subset, quotient typesAntifounded Coinduction in Type Theory
t
term rewritingRewriting and Well-Definedness within a Proof System
terminationMiniAgda: Integrating Sized and Dependent Types
transition systemsCyclic Proofs and Coinductive Principles
type theoryTermination Casts: A Flexible Approach to Termination with General Recursion
Antifounded Coinduction in Type Theory
typesCyclic Proofs and Coinductive Principles
w
Well-definednessRewriting and Well-Definedness within a Proof System
wellfounded induction, recursionAntifounded Coinduction in Type Theory