New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable.

DOI10.4230/LIPICS.FSCD.2016.15zbMath1387.03011OpenAlexW2518137096MaRDI QIDQ5369480

Andrew Polonsky, Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo

Publication date: 17 October 2017

Full work available at URL: https://dblp.uni-trier.de/db/conf/rta/fscd2016.html#BreuvartMPR16

zbMATH Keywords

omega-rulefully abstractrelational modelslambda calculusBöhm-out

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable.