119 search results - page 3 / 24 » Alpha-Structural Recursion and Induction |
82
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
LICS
1997
IEEE
15 years 4 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
78
Voted
PEPM
1994
ACM
15 years 4 months ago
1994
ACM
87
Voted
DAGSTUHL
2001
15 years 1 months ago
2001
We give two finite axiomatizations of indexed inductive-recursive definitions in intuitionistic type theory. They extend our previous finite axiomatizations of inductive-recursive...
81
Voted
MSCS
2010
14 years 11 months ago
2010