Search results

Jump to: navigation, search

Create the page "Carlo Angiuli" on this wiki! See also the page found with your search.

  • POPL 2018
    ...Dreyer, Gordon Plotkin, Sarah Lawsky, Frank Pfenning, Robert Harper, Carlo Angiuli, William E. Byrd, Gregory Rosenblatt, Zachary Kincaid, Thomas Reps, Roberto * Robert Harper, Carlo Angiuli: Computational Higher Type Theory
    4 KB (472 words) - 15:41, 9 July 2020
Retrieved from "https://www.openresearch.org/wiki/Special:Search"