On the characterization of models of H*: The semantical aspect

DOI10.2168/LMCS-12(2:4)2016zbMath1338.03013arXiv1603.07259OpenAlexW3102779848MaRDI QIDQ2804203

Flavien Breuvart

Publication date: 28 April 2016

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

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

zbMATH Keywords

domainsfull abstractionlambda calculusobservational equivalence

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

This page was built for publication: On the characterization of models of H*: The semantical aspect