- Record: found
- Abstract: not found
- Book Chapter: not found
Tools and Algorithms for the Construction and Analysis of Systems
Encoding Monomorphic and Polymorphic Types
other
Read this book at
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 references11
- Record: found
- Abstract: not found
- Book: not found
Isabelle/HOL
Tobias Nipkow, Markus Wenzel, Lawrence Paulson (2002)
- Record: found
- Abstract: not found
- Article: not found
MPTP 0.2: Design, Implementation, and Initial Experiments
Josef Urban (2007)
- Record: found
- Abstract: not found
- Article: not found
Translating Higher-Order Clauses to First-Order Clauses
Lawrence Paulson, Jia Meng (2008)
Author and book information
Comments
Comment on this book
Book chapters
Similar content2,027
- Exactness of G-sequences and monomorphisms☆☆The first author is supported by NSFC Project 19701032 and ZD 9603 of the Chinese Academy of Science, and the second author is supported by the Korea Research Foundation made in the program year of 1998 and TGRC-KOSEF 99.Authors: Jian Zhong Pan, Moo Ha Woo