Programming in constructive set theory: Some examples (1981)

by Bengt Nordstrom
Venue:In Proceedings 1981 Conference on Functional Programming Languages and Computer Architecture