Zum Inhalt springen

  1. Pitts, Andrew M. [HerausgeberIn]; Dybjer, Peter [HerausgeberIn] ; Summer School on Semantics and Logics of Computation 1995 Cambridge

    Semantics and logics of computation : [based on material presented at a Summer School on Semantics and Logics of Computation that took place at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, in September 1995]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge, UK [u.a.]: Cambridge Univ. Press, 1997

    Erschienen in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 14

  2. Gordon, Andrew D. [HerausgeberIn]; Pitts, Andrew M. [Sonstige Person, Familie und Körperschaft] ; Workshop on Higher Order Operational Techniques in Semantics 1995 Cambridge

    Higher order operational techniques in semantics : HOOTS - [1. publ.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cambridge [u.a.]: Cambridge Univ. Pr., 1998

    Erschienen in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 12

  6. Argys, Laura M. [VerfasserIn] ; Friedson, Andrew [Sonstige Person, Familie und Körperschaft]; Pitts, M. Melinda [Sonstige Person, Familie und Körperschaft]

    Killer Debt : The Impact of Debt on Mortality

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [S.l.]: SSRN, [2016]

    Erschienen in: FRB Atlanta Working Paper ; No. 2016-14

  11. Argys, Laura M. [VerfasserIn] ; Friedson, Andrew [Sonstige Person, Familie und Körperschaft]; Pitts, M. Melinda [Sonstige Person, Familie und Körperschaft]; Tello-Trillo, D. [Sonstige Person, Familie und Körperschaft]

    Losing Public Health Insurance : Tenncare Disenrollment and Personal Financial Distress

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [S.l.]: SSRN, [2019]

    Erschienen in: FRB Atlanta Working Paper ; No. 2017-6

  12. Gray, John W. [VerfasserIn]; Pitts, Andrew M. [VerfasserIn]; Sieber, Kurt [VerfasserIn] ; John W. Gray and Andrew M. Pitts and Kurt Sieber [MitwirkendeR]

    Interactions between Category Theory and Computer Science (Dagstuhl Seminar 9329)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 1993

  13. Pitt, David H. [VerfasserIn] ; Dybjer, Peter [Sonstige Person, Familie und Körperschaft]; Pitts, Andrew M. [Sonstige Person, Familie und Körperschaft]; Poigné, Axel [Sonstige Person, Familie und Körperschaft]; Rydeheard, David E. [Sonstige Person, Familie und Körperschaft]

    Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1989

    Erschienen in: Lecture notes in computer science ; 389

  14. Argys, Laura M. [VerfasserIn]; Friedson, Andrew I. [VerfasserIn]; Pitts, M. Melinda [VerfasserIn]

    Killer debt : the impact of debt on mortality

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Atlanta, Ga.: Federal Reserve Bank of Atlanta, [2016]

    Erschienen in: Federal Reserve Bank of Atlanta: Working papers ; 2016,14

  16. Licata, Daniel R. [VerfasserIn]; Orton, Ian [VerfasserIn]; Pitts, Andrew M. [VerfasserIn]; Spitters, Bas [VerfasserIn] ; Daniel R. Licata and Ian Orton and Andrew M. Pitts and Bas Spitters [MitwirkendeR]

    Internal Universes in Models of Homotopy Type Theory

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  17. Bojanczyk, Mikolaj [VerfasserIn]; Klin, Bartek [VerfasserIn]; Kurz, Alexander [VerfasserIn]; Pitts, Andrew M. [VerfasserIn] ; Mikolaj Bojanczyk and Bartek Klin and Alexander Kurz and Andrew M. Pitts [MitwirkendeR]

    Nominal Computation Theory (Dagstuhl Seminar 13422)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014

  18. Pitt, David H. [VerfasserIn] ; Abramsky, Samson [Sonstige Person, Familie und Körperschaft]; Curien, Pierre-Louis [Sonstige Person, Familie und Körperschaft]; Pitts, Andrew M. [Sonstige Person, Familie und Körperschaft]; Poigné, Axel [Sonstige Person, Familie und Körperschaft]; Rydeheard, David E. [Sonstige Person, Familie und Körperschaft]

    Category Theory and Computer Science : Paris, France, September 3-6, 1991. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1991

    Erschienen in: Lecture notes in computer science ; 530

  19. Argys, Laura M. [VerfasserIn]; Friedson, Andrew [VerfasserIn]; Pitts, M. Melinda [VerfasserIn]; Tello-Trillo, D. Sebastian [VerfasserIn]

    The impacts of losing health insurance

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Atlanta, Ga.: Federal Reserve Bank of Atlanta, 2017

    Erschienen in: Federal Reserve Bank of Atlanta: Working papers ; 2017,6