15 search results - page 1 / 3 » csl 2000 |
81
Voted
CSL
2000
Springer
15 years 5 months ago
2000
Springer
80
Voted
CSL
2000
Springer
15 years 5 months ago
2000
Springer
73
Voted
CSL
2000
Springer
15 years 28 days ago
2000
Springer
92
Voted
CSL
2000
Springer
15 years 28 days ago
2000
Springer
Abstract. We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction. We first show why this cannot be simply ...
126
Voted
CSL
2000
Springer
15 years 5 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...