2 ms·

Programming in Martin-Löf's Type Theory http://www.cs.chalmers.se/Cs/Research/Logic/book/ http://www.cs.chalmers.se/Cs/Research/Logic/book/ I'm reading it from

by stralep 17y ago

Programming in Martin-Löf's Type Theory http://www.cs.chalmers.se/Cs/Research/Logic/book/ http://www.cs.chalmers.se/Cs/Research/Logic/book/ I'm reading it from time to time. Useful for me.