The book is currently out of stock

Rewriting and Typed Lambda Calculi

Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Authors

Gilles Dowek

Parameters

Computers, IT, Programming
Technology / Engineering

Book purchase

Rewriting and Typed Lambda Calculi, Gilles Dowek

Language
Released: 2014

We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating

Edition detailsSuggest a correction