Home > Authors > Alex Simpson > Computational adequacy for recursive types in models of intuitionistic set theory
Computational adequacy for recursive types in models of intuitionistic set theory
Recent activity
Rate this book to see your activity here.
15 Books Similar to Computational adequacy for recursive types in models of intuitionistic set theory by Alex Simpson
Bookscovery readers who liked Computational adequacy for recursive types in models of intuitionistic set theory also like
1000 Killer Sudoku : Puzzles Book for Adults : Easy to Hard, 1000 Sudoku Puzzles for Adults : Large Print : Easy to Extream and 365 SUDOKU a Day.
How many of these have you read?
Comments and reviews of Computational adequacy for recursive types in models of intuitionistic set theory
Please sign in to leave a comment