3 search results - page 1 / 1 » A formal treatment of the barendregt variable convention in ... |
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
73
Voted
CADE
2007
Springer
15 years 9 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
15 years 3 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...