73 search results - page 1 / 15 » Contextual modal type theory |
64
Voted
TOCL
2008
14 years 10 months ago
2008
99
Voted
ENTCS
2007
14 years 10 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
ICFP
2003
ACM
15 years 10 months ago
2003
ACM
We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our proposal is to treat meta-variables as modal varia...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
79
Voted
TYPES
1999
Springer
15 years 2 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...