A Formal System for the Universal Quantification of Schematic Variables
Abstract
References
Index Terms
- A Formal System for the Universal Quantification of Schematic Variables
Recommendations
A Polymorphic Environment Calculus and its Type-Inference Algorithm
The polymorphic environment calculus is a polymorphic lambda calculus which enables us to treat environments as first-class citizens. In the calculus, environments are formalized as explicit substitutions, and the substitutions are included in the set ...
The Faithfulness of Fat: A Proof-Theoretic Proof
It is known that there is a sound and faithful translation of the full intuitionistic propositional calculus into the atomic polymorphic system Fat, a predicative calculus with only two connectives: the conditional and the second-order universal ...
Characterization of strong normalizability for a sequent lambda calculus with co-control
PPDP '17: Proceedings of the 19th International Symposium on Principles and Practice of Declarative ProgrammingWe study strong normalization in a lambda calculus of proof-terms with co-control for the intuitionistic sequent calculus. In this sequent lambda calculus, the management of formulas on the left hand side of typing judgements is "dual" to the management ...
Comments
Information & Contributors
Information
Published In
![cover image ACM Transactions on Computational Logic](/cms/asset/3ba0443f-f024-4828-acbd-e43dce263e10/3487995.cover.jpg)
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Refereed
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 108Total Downloads
- Downloads (Last 12 months)16
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderFull Text
View this article in Full Text.
Full TextHTML Format
View this article in HTML Format.
HTML Format