Proof search in the [lambda pi]-calculus
ShareCopied to clipboardProof search in the [lambda pi]-calculus is a book. It was written by David Pym and published by LFCS, Dept. of Computer Science, University of Edinburgh in 1991.
Key facts
- author: David Pym
- publication date: 1991
- book publisher: LFCS, Dept. of Computer Science, University of Edinburgh
- book series: LFCS report series
- book subjects: Permutations, Proof theory
See more factsExtract data
Download datasets about Proof search in the [lambda pi]-calculus:
Dataset of books series that contain Proof search in the [lambda pi]-calculus
"Proof search in the [lambda pi]-calculus" is one of the books by David Pym, books by LFCS, Dept. of Computer Science, University of Edinburgh and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.