tania andrew

Kent Petersson

Stand Alone

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

See All