Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Kent Petersson Bengt Nordström and Jan Smith. Programming in Martin-Löf's Type Theory: An Introduction. Oxford University Press, 1990.
2. M. Bidoit, H.-J. Kreowski, P. Lescanne, F. Orejas, and D. Sannella (eds.). Algebraic System Specification and Development: A survey and Annotated Bibliography, volume 501 of LNCS. Springer Verlag, 1991.
3. Michel Bidoit and Rolf Hennicker. Behavioural theories and the proof of behavioural properties. Report LIENS-95-5, Ecole Normale Supérieure, 1995.
4. Michel Bidoit, Rolf Hennicker, and Martin Wirsing. Behavioural and abstractor specifications. Science of Computer Programming, 25(2–3):149–186, December 1995.
5. Healfdene Goguen. A Typed Operational Semantics for Type Theory. PhD thesis, University of Edinburgh, September 1994. Also published as Technical Report CST-110-94, Department of Computer Science.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献