Abstract Data Types and Type Theory: Theories as Types
- 作者Ruy J. G. B. de Queiroz; Thomas S. E. Maibaum
- 卷第37卷
- 印刷ISSN0942-5616
- 电子ISSN1521-3870
- 文件大小1188.67KB
- 发表时间1991
- DOI10.1002/malq.19910370904
- 页码149-166
同作者推荐
Axiomatizing geometric constructionsVictor Pambuccian · 2008
Letter to the editorFrank Quinn; Andrew Ranicki; Victor Pambuccian; Florin Diacu · 1997
ReviewsJet Wimp; Joel Spencer; Jet Wimp; Victor Pambuccian · 1999
Letters to the editorLeonard Gillman; Alexander Shen; L. Glasser; Victor Pambuccian; Dan Amir · 1999
What is plane equiaffine geometry?Victor Pambuccian · Aequationes Mathematicae · 2003
Another Splitting of the Pasch AxiomVictor Pambuccian · 2011
About the Spencer and Graham ArticleVictor Pambuccian · 2010
Groups and Plane GeometryVictor Pambuccian · Studia Logica · 2005