Online Library TheLib.net » Lambda-calculus: types and models

cover of the book Lambda-calculus: types and models

Ebook: Lambda-calculus: types and models

Author: Jean-Louis Krivine translated by René Cori

Series: Ellis Horwood (1993) (mise à jour 3 novembre 2011)
Year: 2014
Edition: version 29 Sep 2014
Language: English
pdf

00

27.01.2024

0

0

Download the book Lambda-calculus: types and models for free or read online

Read Download

Problems?

Download pdf book

Continue reading on any device:
QR code

QR code

Last viewed books

Related books

{related-news}

Comments (0)