On Mints' reduction for ccc-calculus

Publisher Website

25 January 2006

book chapter
Published by Springer Nature

p. 1-12
https://doi.org/10.1007/bfb0037094

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

From programming-by-example to proving-by-example
Published by Springer Nature ,1991
A unification algorithm for typed λ-calculus
Theoretical Computer Science, 1975
Ideas and Results in Proof Theory
Published by Elsevier ,1971