Purely functional implementation of a logic

Publisher Website

1 January 1986

book chapter
Published by Springer Nature

p. 598-607
https://doi.org/10.1007/3-540-16780-3_124

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Constructive mathematics and computer programming
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1984
Edinburgh LCF
Lecture Notes in Computer Science, 1979
Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
Indagationes Mathematicae, 1972