3 search results - page 1 / 1 » Aspects of predicative algebraic set theory, II: Realizabili... |
81
Voted
TCS
2011
14 years 8 months ago
2011
76
Voted
APAL
2008
15 years 1 months ago
2008
116
Voted
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...