Cover von Modal logic and the Curry-Howard isomorphism opens in new tab

Modal logic and the Curry-Howard isomorphism

Author: Search for this author Nielsen, Michael Florentin
Statement of Responsibility: Michael Florentin Nielsen
Year: 1999
Publisher: Kopenhagen, Univ.
Series: Technical report / University of Copenhagen / Datalogisk institut; 99/10
Media group: DISSERTATION
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Diss. NIELSEN MICHAEL FLORENTIN Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

Copenhagen, Univ., Diss.

Details

Author: Search for this author Nielsen, Michael Florentin
Statement of Responsibility: Michael Florentin Nielsen
Year: 1999
Publisher: Kopenhagen, Univ.
opens in new tab
Search for this systematic
Search for this subject type
Series: Technical report / University of Copenhagen / Datalogisk institut; 99/10
Search for this character
Media group: DISSERTATION