Logical Semantics for the First Order ς-Calculus

doi:https://doi.org/10.1007/978-3-540-45208-9_17

Book Chapter10.1007/978-3-540-45208-9_17

Logical Semantics for the First Order ς-Calculus

Steffen van Bakel,Ugo de’Liguoro-2003-01-01-Lecture notes in computer science

4

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Computer scienceSemantics (computer science)Calculus (dental)Operational semanticsSimply typed lambda calculusPi calculusInterpretation (philosophy)First order

Chat

Click to start Chat