Partiality and Recursion in Higher-Order Logic

DOI10.1007/978-3-642-37075-5_12zbMath1260.03014arXiv1210.2039OpenAlexW2167930391MaRDI QIDQ4910419

Łukasz Czajka

Publication date: 18 March 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: Partiality and Recursion in Higher-Order Logic