Search
Search Funnelback University
1 -
2 of
2
search results for `B b h m and Berarducci` |u:www.dpmms.cam.ac.uk
Fully-matching results
-
333_1.tif
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/hrr90.pdf23 Mar 2016: It is interesting to compare the proof given b y B b h m and Berarducci with this one. ... B b h m and Berarducci use the strong normalization of polymorphic l a m b d a terms, and then a simple argument as to the s t r u -
333_1.tif
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub81-90/hrr90.pdf23 Mar 2016: It is interesting to compare the proof given b y B b h m and Berarducci with this one. ... B b h m and Berarducci use the strong normalization of polymorphic l a m b d a terms, and then a simple argument as to the s t r u
Refine your results
Date
- 2 2016
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.