Record: found
Abstract: not found
Book Chapter: not found

Subset Coercions in Coq

other

Author(s): Matthieu Sozeau

Publication date (Print): 2007

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 12

Record: found
Abstract: not found
Book: not found

Interactive Theorem Proving and Program Development

Yves Bertot, Pierre Castéran (2004)

0 comments Cited 114 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

The calculus of constructions

Thierry Coquand, Gérard Huet (1988)

0 comments Cited 99 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

The view from the left

Conor McBride, JAMES MCKINNA (1999)

0 comments Cited 24 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Pages: 237-252

DOI: 10.1007/978-3-540-74464-1_16

SO-VID: 647a8c7c-c4a5-40b1-91a8-b13ac6a16889

History

Data availability:

Subset Coercions in Coq

Read this book at

Related collections

Regulatory T cell (Treg) therapy

Most cited references 12

Interactive Theorem Proving and Program Development

The calculus of constructions

The view from the left

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,006

Cited by 3