Lecture Notes in Computer Science - Types for Proofs and Programs
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540605799, 9783540477709
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The metatheory of UTT

1995 ◽  
pp. 60-82 ◽  
Author(s):  
Healfdene Goguen

On extensibility of proof checkers

1995 ◽  
pp. 140-161 ◽  
Author(s):  
Robert Pollack

I/O automata in Isabelle/HOL

1995 ◽  
pp. 101-119 ◽  
Author(s):  
Tobias Nipkow ◽  
Konrad Slind

scholarly journals A concrete final coalgebra theorem for ZF set theory

1995 ◽  
pp. 120-139 ◽  
Author(s):  
Lawrence C. Paulson
Keyword(s):  
Set Theory
Load More ...
Sign in / Sign up

Export Citation Format

Share Document