Paper Info
Title
A modal foundation for meta-variables
Abstract
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 variables in a modal type theory, which is logically clean and justifies several low-level implementation techniques for meta-variables. We also speculate on other logical extensions of our modal type theory, at present without clear applications.
Year
DOI
Venue
2003
10.1145/976571.976582
MERLIN
Keywords
Field
DocType
modal foundation,modal variable,clear application,type theory,logical extension,logical framework,low-level implementation technique,modal type theory,work in progress
Logical consequence,Accessibility relation,Non-classical logic,Work in process,Computer science,Algorithm,Type theory,Modal operator,Theoretical computer science,Modal,Logical framework
Conference
ISBN
Citations 
PageRank 
1-58113-800-8
5
0.48
References 
Authors
7
3
Name
Order
Citations
PageRank
Aleksandar Nanevski158327.01
Brigitte Pientka240234.47
Frank Pfenning33376265.34