Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
1 - 2 of 2 search results for `B b h m and Berarducci`

  1. Fully-matching results

  2. 333_1.tif

    https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/hrr90.pdf
    23 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

  3. 333_1.tif

    https://www.dpmms.cam.ac.uk/~martin/Research/Pub81-90/hrr90.pdf
    23 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

clear all

Date

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.