Bookbot

Constructive domain models of typed lambda calculi

Compra de libros

Constructive domain models of typed lambda calculi, Andreas Gruchalski

Idioma
Publicado en
1996
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña