10 citations · 10 across the 1 of their papers we have counts for
1 paper · 1 filter
Wouter Pieter Stekelenburg
This is the author's Ph.D. Thesis. It contains results from four years of research into realizability and categorical logic. The main subjects are the axiomatisation of realizable…