Search
Search Funnelback University
- Refined by:
- Date: 2008
1 -
2 of
2
search results for KA :ZA31 op |u:www.dpmms.cam.ac.uk
where 0
match all words and 2
match some words.
Results that match 2 of 3 words
-
Modi�ed Realizability Toposes and Strong Normalization Proofs…
https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/ho93.pdf21 Aug 2008: 1. ): ka#. and. (S. 2. ) 9a 2 U:fa(ga)# =) sfg#:. ... Though cast in. category-theoretic language, the result in op. cit. is essentially the inter-denability result of second. -
Modi�ed Realizability Toposes and Strong Normalization Proofs…
https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/ho93.pdf21 Aug 2008: 1. ): ka#. and. (S. 2. ) 9a 2 U:fa(ga)# =) sfg#:. ... Though cast in. category-theoretic language, the result in op. cit. is essentially the inter-denability result of second.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.