Typed Lambda Calculi and Applications View on Open Library

Typed Lambda Calculi and Applications

by Pawel Urzyczyn

No reviews yet
First published: 1899 1 language ISBN: 9783540320142
Subjects
Lambda calculus Congresses

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Pawel Urzyczyn

Mathematical Foundations of Computer Science 2006

Mathematical Foundations of Computer Sci...

You Might Also Like

More in Lambda calculus
Fitting statistical distributions

Fitting statistical distributions

Zaven A Karian
Language & grammar

Language & grammar

C. Casadio
The lambda calculus

The lambda calculus

H. P. Barendregt
Abstract computing machines

Abstract computing machines

Werner Kluge
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Masahito Hasegawa
Domains and lambda-calculi

Domains and lambda-calculi

Roberto M. Amadio