15 search results - page 1 / 3 » csl 2000 |
76
Voted
CSL
2000
Springer
15 years 4 months ago
2000
Springer
76
Voted
CSL
2000
Springer
15 years 4 months ago
2000
Springer
69
Voted
CSL
2000
Springer
15 years 5 days ago
2000
Springer
CSL
2000
Springer
15 years 5 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 ...
121
click to vote
CSL
2000
Springer
15 years 4 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...