Volume s3-60, Issue 1
Articles

The Discrete Objects in the Effective Topos

J. M. E. Hyland

Department of Pure Mathematics and Mathematical Statistics, 16 Mill Lane, Cambridge, CB2 1SB

Search for more papers by this author
E. P. Robinson

Department of Computing and Information Science Queen's University, Kingston, Ontario, K7L 3N6 Canada

Search for more papers by this author
G. Rosolini

Dipartimento di Matematica Università di Parma, 43100 Parma, Italy

Search for more papers by this author
First published: January 1990
Citations: 34
First page image