Algebraic types in PER models
- 17 August 2006
- book chapter
- Published by Springer Nature
- p. 333-350
- https://doi.org/10.1007/bfb0040266
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Extensional models for polymorphismTheoretical Computer Science, 1988
- A new type-checker for a functional languageScience of Computer Programming, 1986
- Automatic synthesis of typed Λ-programs on term algebrasTheoretical Computer Science, 1985
- Foundations of Constructive MathematicsPublished by Springer Nature ,1985
- Reasoning about functional programs and complexity classes associated with type disciplinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983
- Number theoretic functions computable by polymorphic programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- A realizability interpretation of the theory of speciesLecture Notes in Mathematics, 1975
- Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des TypesPublished by Elsevier ,1971