CURRY-HOWARD CORRESPONDENCE

Tan, Xiao.

2021

open in viewer
Description
  • Thesis (M.S.)--Tufts University, 2021.

    Submitted to the Dept. of Mathematics.

    Advisor: David Smyth.

    Committee: Loring Tu, and George McNinch.

    Keywords: Logic, and Mathematics.
This object is in collection Creator department Thesis Type Subject Genre Permanent URL
ID:
k3569k252
To Cite:
TARC Citation Guide    EndNote