Non determinism through type isomorphism (0)

by A DÍAZ-CARO, G DOWEK
Venue:in "LSFA - 7th Workshop on Logical and Semantic Frameworks with Applications