3 search results - page 1 / 1 » A formal treatment of the barendregt variable convention in ... |
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
CADE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...