Definedness

This publication has 20 references indexed in Scilit:

• A new approach to abstract data types, I Informal development
  Mathematical Structures in Computer Science, 1992
• Logics for Termination and Correctness of Functional Programs
  Published by Springer Nature ,1992
• Explicit substitutions
  Journal of Functional Programming, 1991
• An abstract framework for environment machines
  Theoretical Computer Science, 1991
• Polymorphic typed lambda-calculi in a type-free axiomatic framework
  Contemporary Mathematics, 1990
• Foundations of Constructive Mathematics
  Published by Springer Nature ,1985
• Formalizing constructive mathematics: Why and how?
  Published by Springer Nature ,1981
• Constructive Theories of Functions and Classes
  Published by Elsevier ,1979
• The Type Free Lambda Calculus
  Published by Elsevier ,1977
• A language and axioms for explicit mathematics
  Published by Springer Nature ,1975