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 13

Record: found
Abstract: not found
Article: not found

Uniform proofs as a foundation for logic programming

Dale Miller, Gopalan Nadathur, Frank Pfenning … (1991)

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

Bookmark

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

System Description: Twelf — A Meta-Logical Framework for Deductive Systems

Frank Pfenning, Carsten Schürmann (1999)

0 comments Cited 56 times – based on 0 reviews

Bookmark

Record: found
Abstract: found
Article: not found

Intensional interpretations of functionals of finite type I

W. W. Tait (1967)

T0 will denote Gödel's theory T[3] of functionals of finite type (f.t.) with intuitionistic quantification over each f.t. added. T1 will denote T0 together with definition by bar recursion of type o, the axiom schema of bar induction, and the schema

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

Bookmark

All references

Author and book information

Book Chapter

Pages: 154-161

DOI: 10.1007/978-3-540-71070-7_13

SO-VID: d258d456-6677-4a1e-9a37-02c620850cbc

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 7

See all cited by

The Abella Interactive Theorem Prover (System Description)

Read this book at

Related collections

Online interactive cancer simulations and demos

Most cited references 13

Uniform proofs as a foundation for logic programming

System Description: Twelf — A Meta-Logical Framework for Deductive Systems

Intensional interpretations of functionals of finite type I

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,814

Cited by 7