Computational adequacy for recursive types in models of intuitionistic set theory

View on Open Library

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

Harm Production and the Moral Dislocation of Finance in the City of London

Harm Production and the Moral Dislocatio...

Gendering Place and Affect

Gendering Place and Affect

Treatise on Federal Impeachments, with an Appendicx Containing, Inter Alia, an Abstract of the Art

Treatise on Federal Impeachments, with a...

365 SUDOKU a Day 2022

365 SUDOKU a Day 2022

Foundations of Software Science and Computation Structures

Foundations of Software Science and Comp...

Hauntology