Search results

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