Pages that link to "Item:Q688736"

The following pages link to On specifications, subset types and interpretation of proposition in type theory (Q688736):

Displaying 1 item.

• Realist Consequence, Epistemic Inference, Computational Correctness (Q5350353) (← links)