Ordered Models of the Lambda Calculus

DOI10.2168/LMCS-9(4:21)2013zbMath1315.03023arXiv1311.1916OpenAlexW2142472201MaRDI QIDQ2871473

Alberto Carraro, Antonino Salibra

Publication date: 8 January 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1311.1916

zbMATH Keywords

lambda calculustopological modelspartially ordered modelsequational consistencyorderincompleteness

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Ordered Models of the Lambda Calculus