Skip to contents Kremer, Marion [Author] Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hamburg: Kovač, 1996 Krivine, Jean-Louis [Author] ; Krivine, Jean Louis [Other]; Cori, René [Other] Lambda-calculus, types and models Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York: Ellis Horwood, 1993 ; Hemel Hempstead: Ellis Horwood, 1993 Published in: Ellis Horwood series in computers and their applications Weber, Karl Matthias [Author] ; Weber, Matthias [Other] A meta-calculus for formal system development Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1991 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195 Abramsky, Samson [Editor] ; TLCA 5 2001 Krakau Typed lambda calculi and applications : 5th international conference, Kraków, Poland, May 2 - 5, 2001 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2044 Groote, Philippe de [Other]; Hindley, J. Roger [Other] ; International Conference on Typed Lambda Calculi and Applications 3 1997 Nancy Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1210 Bezem, Marc [Editor]; Groote, Jan Friso [Other] ; International Conference on Typed Lambda Calculi and Applications 1 1993 Utrecht Typed lambda calculi and applications : proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Lecture notes in computer science ; 664 Bittel, Oliver [Author] Ein tableaubasierter Theorembeweiser für die intuitionistische Logik Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1991 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 198 Curien, Pierre-Louis [Editor] ; TLCA 9 2009 Brasília Typed lambda calculi and applications : 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5608 Ronchi Della Rocca, Simona [Editor] ; TLCA 8 2007 Paris Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26 - 28, 2007 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4583 Urzyczyn, Paweł [Editor] ; TLCA 7 2005 Nara Typed Lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21 - 23, 2005 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3461 Hofmann, Martin [Editor] ; TLCA 6 2003 Valencia Typed lambda calculi and applications : 6th international conference, Valencia, Spain, June 10 - 12, 2003 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2701 Girard, Jean-Yves [Editor] ; TLCA 4 1999 L'Aquila Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy, April 7 - 9, 1999 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1581 Giménez, Eduardo [Other] ; International Workshop TYPES 4 1996 Aussois Types for proofs and programs : selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1512 Leroy, Xavier [Editor]; Ohori, Atsushi [Other] ; TIC 2 1998 Kyōto Types in compilation : second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1473 Dezani-Ciancaglini, Mariangiola [Editor] ; International Conference on Typed Lambda Calculi and Applications 2 1995 Edinburgh Typed lambda calculi and applications : second international conference on typed lambda calculi and applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1995 Published in: Lecture notes in computer science ; 902 Ong, Luke [Editor] ; TLCA 10 2011 Novi Sad Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6690 Jay, Barry [Author] Pattern calculus : computing with functions and structures Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Altenkirch, Thorsten [Editor] ; International Conference on Typed Lambda Calculi and Applications 13. 2015 Warschau 13th International Conference on Typed Lambda Calculi and Applications : TLCA’15, July 1-3, 2015, Warsaw, Poland Books View online Schließen > Access ... to E-book (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, July 2015 Published in: Leibniz international proceedings in informatics ; 38 Rossberg, Andreas [Other] Dynamic opacity for abstract types Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [S.l.]: Saarländische Universitäts- und Landesbibliothek / Naturwissenschaftlich-Technische Fakultät I, 2004 Giarrusso, Paolo G. [Author] ; Eberhard Karls Universität Tübingen Optimizing and incrementalizing higher-order collection queries by AST transformation Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen, 2018
Kremer, Marion [Author] Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Hamburg: Kovač, 1996
Krivine, Jean-Louis [Author] ; Krivine, Jean Louis [Other]; Cori, René [Other] Lambda-calculus, types and models Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York: Ellis Horwood, 1993 ; Hemel Hempstead: Ellis Horwood, 1993 Published in: Ellis Horwood series in computers and their applications
Weber, Karl Matthias [Author] ; Weber, Matthias [Other] A meta-calculus for formal system development Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1991 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195
Abramsky, Samson [Editor] ; TLCA 5 2001 Krakau Typed lambda calculi and applications : 5th international conference, Kraków, Poland, May 2 - 5, 2001 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2044
Groote, Philippe de [Other]; Hindley, J. Roger [Other] ; International Conference on Typed Lambda Calculi and Applications 3 1997 Nancy Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1210
Bezem, Marc [Editor]; Groote, Jan Friso [Other] ; International Conference on Typed Lambda Calculi and Applications 1 1993 Utrecht Typed lambda calculi and applications : proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1993 Published in: Lecture notes in computer science ; 664
Bittel, Oliver [Author] Ein tableaubasierter Theorembeweiser für die intuitionistische Logik Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1991 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 198
Curien, Pierre-Louis [Editor] ; TLCA 9 2009 Brasília Typed lambda calculi and applications : 9th International Conference, TLCA 2009, Brasília, Brazil, July 1 - 3, 2009; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5608
Ronchi Della Rocca, Simona [Editor] ; TLCA 8 2007 Paris Typed lambda calculi and applications : 8th international conference, TLCA 2007, Paris, France, June 26 - 28, 2007 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4583
Urzyczyn, Paweł [Editor] ; TLCA 7 2005 Nara Typed Lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21 - 23, 2005 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3461
Hofmann, Martin [Editor] ; TLCA 6 2003 Valencia Typed lambda calculi and applications : 6th international conference, Valencia, Spain, June 10 - 12, 2003 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2701
Girard, Jean-Yves [Editor] ; TLCA 4 1999 L'Aquila Typed lambda calculi and applications : 4th international conference, TLCA '99, L'Aquila, Italy, April 7 - 9, 1999 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1581
Giménez, Eduardo [Other] ; International Workshop TYPES 4 1996 Aussois Types for proofs and programs : selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1512
Leroy, Xavier [Editor]; Ohori, Atsushi [Other] ; TIC 2 1998 Kyōto Types in compilation : second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1473
Dezani-Ciancaglini, Mariangiola [Editor] ; International Conference on Typed Lambda Calculi and Applications 2 1995 Edinburgh Typed lambda calculi and applications : second international conference on typed lambda calculi and applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1995 Published in: Lecture notes in computer science ; 902
Ong, Luke [Editor] ; TLCA 10 2011 Novi Sad Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6690
Jay, Barry [Author] Pattern calculus : computing with functions and structures Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009
Altenkirch, Thorsten [Editor] ; International Conference on Typed Lambda Calculi and Applications 13. 2015 Warschau 13th International Conference on Typed Lambda Calculi and Applications : TLCA’15, July 1-3, 2015, Warsaw, Poland Books View online Schließen > Access ... to E-book (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, July 2015 Published in: Leibniz international proceedings in informatics ; 38
Rossberg, Andreas [Other] Dynamic opacity for abstract types Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [S.l.]: Saarländische Universitäts- und Landesbibliothek / Naturwissenschaftlich-Technische Fakultät I, 2004
Giarrusso, Paolo G. [Author] ; Eberhard Karls Universität Tübingen Optimizing and incrementalizing higher-order collection queries by AST transformation Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen, 2018
> Availability Skip to next facet Open Shelves (4) Wert ausschließen Stack Collection (13) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (14) Wert ausschließen Central Library (3) Wert ausschließen Branch Library of Educationen (1) Wert ausschließen TU Dresden holdings (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (5) Wert ausschließen Without Specification (15) Wert ausschließen Show more show less
> Language Skip to next facet English (35) Wert ausschließen German (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (25) Wert ausschließen Mathmatics (17) Wert ausschließen Technology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Bezem, Marc (3) Wert ausschließen Urzyczyn, Paweł (3) Wert ausschließen Abramsky, Samson (2) Wert ausschließen Curien, Pierre-Louis (2) Wert ausschließen Dezani-Ciancaglini, Mariangiola (2) Wert ausschließen Giarrusso, Paolo G. (2) Wert ausschließen Giménez, Eduardo (2) Wert ausschließen Girard, Jean-Yves (2) Wert ausschließen Groote, Jan Friso (2) Wert ausschließen Groote, Philippe de (2) Wert ausschließen Hofmann, Martin (2) Wert ausschließen International Conference on Typed Lambda Calculi and Applications 1 1993 Utrecht (2) Wert ausschließen Leroy, Xavier (2) Wert ausschließen Ohori, Atsushi (2) Wert ausschließen Ong, Luke (2) Wert ausschließen Rossberg, Andreas (2) Wert ausschließen Altenkirch, Thorsten (1) Wert ausschließen Bittel, Oliver (1) Wert ausschließen Cori, René (1) Wert ausschließen Eberhard Karls Universität Tübingen (1) Wert ausschließen Hasegawa, Masahito (1) Wert ausschließen Hindley, J. Roger (1) Wert ausschließen Hindley, James Roger (1) Wert ausschließen Hutchison, David (1) Wert ausschließen International Conference on Typed Lambda Calculi and Applications 13. 2015 Warschau (1) Wert ausschließen International Conference on Typed Lambda Calculi and Applications 2 1995 Edinburgh (1) Wert ausschließen International Conference on Typed Lambda Calculi and Applications 3 1997 Nancy (1) Wert ausschließen International Workshop TYPES 4 1996 Aussois (1) Wert ausschließen Jay, Barry (1) Wert ausschließen Kanade, Takeo (1) Wert ausschließen Kittler, Josef (1) Wert ausschließen Kleinberg, Jon (1) Wert ausschließen Kremer, Marion (1) Wert ausschließen Krivine, Jean Louis (1) Wert ausschließen Krivine, Jean-Louis (1) Wert ausschließen Mattern, Friedemann (1) Wert ausschließen Mitchell, John C. (1) Wert ausschließen Naor, Moni (1) Wert ausschließen Nierstrasz, Oscar (1) Wert ausschließen Ostermann, Klaus (1) Wert ausschließen Pandu Rangan, C. (1) Wert ausschließen Paulin-Mohring, Christine (1) Wert ausschließen Plotkin, Gordon (1) Wert ausschließen Rocca, Simona Ronchi (1) Wert ausschließen Ronchi Della Rocca, Simona (1) Wert ausschließen ScienceDirect (Online service) (1) Wert ausschließen Steffen, Bernhard (1) Wert ausschließen Sudan, Madhu (1) Wert ausschließen Sørensen, Morten Heine (1) Wert ausschließen TIC 2 1998 Kyōto (1) Wert ausschließen TLCA 10 2011 Novi Sad (1) Wert ausschließen TLCA 4 1999 L'Aquila (1) Wert ausschließen TLCA 5 2001 Krakau (1) Wert ausschließen TLCA 6 2003 Valencia (1) Wert ausschließen TLCA 7 2005 Nara (1) Wert ausschließen TLCA 8 2007 Paris (1) Wert ausschließen TLCA 9 2009 Brasília (1) Wert ausschließen Terzopoulos, Demetri (1) Wert ausschließen Tygar, Doug (1) Wert ausschließen Vardi, Moshe Y. (1) Wert ausschließen Weber, Karl Matthias (1) Wert ausschließen Weber, Matthias (1) Wert ausschließen Weikum, Gerhard (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (34) Wert ausschließen Lizenzfreie Online-Ressourcen (3) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen Diss online (1) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen Show more show less