Computational adequacy for recursive types in models of intuitionistic set theory

by Alex Simpson

No reviews yet
First published: 2003 1 language

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!


More by Alex Simpson