EnglishbookID: d0b07913Programming in Martin-Löf's Type TheoryCategoryBY SUBJECT / Theoretical Computer ScienceExternal Linkhttps://www.cse.chalmers.se/research/group/logic/book/Your Library☆Save to My LibraryBY SUBJECTTheoretical Computer ScienceOpen Resource ↗
