Toggle navigation
Radboud Repository
Toggle navigation
View Item
Radboud Repository
Collections Radboud University
Academic publications
View Item
Radboud Repository
Collections Radboud University
Academic publications
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics
Mizar's Soft Type System
Publication year
2007
Author(s)
Wiedijk, Freek
Publisher
Berlin ; New York : Springer
ISBN
3540745904
In
Schneider, K.; Brandt, J. (ed.), Theorem Proving in Higher Order Logics 2007, pp. 383-399
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item:
https://hdl.handle.net/2066/34486
Display more details
Display less details
Editor(s)
Schneider, K.
Brandt, J.
Organization
Foundations
Book title
Schneider, K.; Brandt, J. (ed.), Theorem Proving in Higher Order Logics 2007
Page start
p. 383
Page end
p. 399
Subject
Foundations
This item appears in the following Collection(s)
Academic publications
[202914]
Faculty of Science
[31885]
Upload full text
Use your RU credentials (u/z-number and password) to
log in with SURFconext
to upload a file for processing by the repository team.