3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
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…