Kent Petersson profile picture

Kent Petersson

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)