The book is currently out of stock

Typed lambda calculi and applications

Authors

Jean-Yves Girard

Parameters

Categories

Computers, IT, Programming

Series: Lecture notes in computer science

Book purchase

Typed lambda calculi and applications, Jean-Yves Girard

Language
Released: 1999

We’ll notify you via email once we track it down.

Payment methods