J. Girard, Y. Lafont, und P. Taylor. Cambridge Tracts in Theoretical Computer Science Cambridge University Press, (1989)This is textbook on proof theory and type systems, based on lectures by Girard. It contains an appendix by Lafont on linear logic, and also treats Girard's polymorphic lambda calculus..
N. Mankiw, M. Taylor, und M. Herrmann. Lehrbuch Schäffer-Poeschel Verlag, Stuttgart, 7., überarbeitete Auflage Edition, (August 2018)Verfasserangabe: N. Gregory Mankiw, Mark P. Taylor ; ins Deutsche übertragen von Marco Herrmann, Christian Müller, Diana Püplichhuysen ; Online-Ressource Kann nicht per Fernleihe bestellt werden! ; Aus dem Englischen übersetzt ; Erscheint auch als Druck-Ausgabe Mankiw, Nicholas Gregory Grundzüge der Volkswirtschaftslehre 978-3-7910-4142-1 ; Quelldatenbank: FHBA-x ; Format:marcform: print ; Umfang: 1 Online-Ressource (XXIX, 1182 Seiten) ; Illustrationen.