Ordered combinatory algebras and realizability

From MaRDI portal
Publication:2973254

DOI10.1017/S0960129515000432zbMath1423.03053arXiv1410.5034OpenAlexW2963271462MaRDI QIDQ2973254

Jonas Frey, Alexandre Miquel, Octavio Malherbe, Mauricio German Guillermo, Walter Ricardo Ferrer Santos

Publication date: 3 April 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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




Related Items (2)




Cites Work




This page was built for publication: Ordered combinatory algebras and realizability