Proofs and types - Girard Jean-Yves; Lafont Yves Tr.; Tailor Paul Tr. (Cambridge Cambeidge University Press, 1989)
Keywords: Computer science irt maths; Database management; Computer science