×

Found 3 Documents (Results 1–3)

Newest Citations Relevance
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei

TPS: A theorem proving system for classical type theory. (English) Zbl 1226.03026

Benzmüller, Christoph (ed.) et al., Reasoning in simple type theory. Festschrift in honor of Peter B. Andrews on his 70th birthday. London: College Publications (ISBN 978-1-904987-70-3/pbk). Studies in Logic (London) 17. Mathematical Logic and Foundations, 367-399 (2008).
MSC:  03B35 03B15 68T15 01A75
Cite Review PDF
Xi, Hongwei

Attributive types for proof erasure. (English) Zbl 1138.68363

Miculan, Marino (ed.) et al., Types for proofs and programs. International conference, TYPES 2007, Cividale des Friuli, Italy, May 2–5, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-68084-0/pbk). Lecture Notes in Computer Science 4941, 188-202 (2008).
MSC:  68N30 68T15
Cite Review PDF
Full Text: DOI

Filter Results by …

all top 5

Author

Main Field

all top 3

Software