A Synopsis of Morphoid Type Theory

David McAllester |

Paper Details:

Month: July
Year: 2015
Location: Chicago, USA
Venue: MoL | WS |
SIG: SIGMOL