2585 search results - page 68 / 517 » Automating Coherent Logic |
LICS
2000
IEEE
14 years 2 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
DAC
2001
ACM
14 years 11 months ago
2001
ACM
DAC
2003
ACM
14 years 11 months ago
2003
ACM
CADE
2008
Springer
14 years 10 months ago
2008
Springer