Twenty Five Years of Constructive Type TheoryISBN: 9780191916540Platform/Publisher: Oxford Academic / Oxford University PressDigital rights: Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Mathematical Theory of Computation; No description is available.