Introduction to combinators and &lgr;-calculus
Introduction to combinators and &lgr;-calculus
Computational category theory
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
An axiomatic basis for computer programming
Communications of the ACM
The next 700 programming languages
Communications of the ACM
The Definition of Programming Languages
The Definition of Programming Languages
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
Definitional Interpreters for Higher-Order Programming Languages
Higher-Order and Symbolic Computation
A Natural Deduction treatment of Operational Semantics
Proceedings of the Eighth Conference on Foundations of Software Technology and Theoretical Computer Science
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
Minds and Machines
Hi-index | 0.00 |
We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.