Programming in Martin-Löf's Type Theory

724

收藏 2023-04-16

Programming in Martin-Löf's Type Theory
Authors:Bengt Nordström,Kent Petersson
Publisher: Clarendon PressImprint of Oxford University Press
ISBN:978-0-19-853814-1
Published:19 July 1990
Pages: 221

附件列表

Programming in Martin-Löf's Type Theory.pdf

大小:692.67 KB

只需: 15 个论坛币马上下载

Programming in Martin-Löf's Type Theory

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

扫码加我 拉你入群

分享

扫码加好友，拉您进群

扫码加我拉你入群