Sciweavers

93
Voted
CSL
2000
Springer
15 years 1 months ago
Interactive Programs in Dependent Type Theory
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...
Peter Hancock, Anton Setzer