Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Jean-Christophe Filliâtre | lit.salon

Author

Jean-Christophe Filliâtre

2 works

2006 across 1 dated work

No biography is available yet.

Start with

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science)2006
With Benjamin Werner

Books

1 work

Featured (1)Featured (1)All (2)All (2)

Search booksSort books

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Lecture Notes in Computer Science)2006
With Benjamin Werner
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Jean-Christophe Filliâtre.

The conversation is still open.

There is no public salon activity to show for Jean-Christophe Filliâtre yet.