On a question of H. Friedman

DOI10.1006/inco.1996.0035zbMath0853.68127OpenAlexW2038323917MaRDI QIDQ1917095

Gordon D. Plotkin

Publication date: 3 July 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/ead91a2d16952de79769fd12839ed438d4480edf

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (3)

Order-incompleteness and finite lambda reduction models ⋮ Towards Lambda Calculus Order-Incompleteness ⋮ On the completeness of order-theoretic models of the \(\lambda \)-calculus

This page was built for publication: On a question of H. Friedman