Export Citations
2 Results for: Book/Issue: LFMTP '13: Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,723,153 records)|Limit your search to The ACM Full-Text Collection (748,301 records)
Showing 1 - 2of2 Results
Select All
- research-articleSeptember 2013
First-class substitutions in contextual type theory
LFMTP '13: Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practiceSeptember 2013, Pages 15–24https://doi.org/10.1145/2503887.2503889In this paper, we revisit the theory of first-class substitution in contextual type theory (CTT); in particular, we focus on the abstract notion of substitution variables. This forms the basis for extending Beluga, a dependently typed proof and ...
- proceedingSeptember 2013
LFMTP '13: Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
This volume constitutes the proceedings of the Eighth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2013. The LFMTP workshop series resulted from the amalgamation of the Logical Frameworks and Meta-languages ...
