Proofs and types - Girard, Jean Yves; Taylor, Paul, politolog; Lafont, Yves (Cambridge : Cambridge University Press, 1993)
1. izd. 1989
Keywords: Lambda račun