3 citations · 3 across the 2 of their papers we have counts for
1 paper · 2 filters
Richard Matthews
The method of realizability was first developed by Kleene and is seen as a way to extract computational content from mathematical proofs. Traditionally, these models only satisfy i…