It looks like you're offline.

Last edited by ImportBot

September 20, 2008 | History

Edit

César Muñoz

We need a photo of César Muñoz

3 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Proof-term synthesis on dependent-type systems via explicit substitutions

by César Muñoz First published in 1999
3 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Dependent types and explicit substitutions

by César Muñoz First published in 1999
1 edition

Locate

My Reading Lists:

Create a new list
Structural embeddings: mechanization with method

by César Muñoz First published in 1999
1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of César Muñoz

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL4910650A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON