Clicky

Computational adequacy for recursive types in models of intuitionistic set theory by Alex Simpson and similar books you'll love - Bookscovery

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

Alex Simpson

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