Zum Inhalt springen Thompson, Simon [Verfasser:in] Type theory and functional programming - [1. printed] 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. Wokingham, England [u.a.]: Addison-Wesley, 1991 Erschienen in: International computer science series Hofmann, Martin [Verfasser:in] Extensional constructs in intensional type theory 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. London; Heidelberg [u.a.]: Springer, c1997 Erschienen in: CPHC/BCS distinguished dissertations Hagiya, Masami [Herausgeber:in]; Wadler, Philip [Sonstige Person, Familie und Körperschaft] ; FLOPS 8 2006 Susono Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 ; 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 [u.a.]: Springer, 2006 Erschienen in: Lecture notes in computer science ; 3945 Hagiya, Masami [Sonstige Person, Familie und Körperschaft]; Wadler, Philip [Sonstige Person, Familie und Körperschaft] Functional and Logic Programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI 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, 2006 Erschienen in: Lecture notes in computer science ; 3945
Thompson, Simon [Verfasser:in] Type theory and functional programming - [1. printed] 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. Wokingham, England [u.a.]: Addison-Wesley, 1991 Erschienen in: International computer science series
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hofmann, Martin [Verfasser:in] Extensional constructs in intensional type theory 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. London; Heidelberg [u.a.]: Springer, c1997 Erschienen in: CPHC/BCS distinguished dissertations
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hagiya, Masami [Herausgeber:in]; Wadler, Philip [Sonstige Person, Familie und Körperschaft] ; FLOPS 8 2006 Susono Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 ; 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 [u.a.]: Springer, 2006 Erschienen in: Lecture notes in computer science ; 3945
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hagiya, Masami [Sonstige Person, Familie und Körperschaft]; Wadler, Philip [Sonstige Person, Familie und Körperschaft] Functional and Logic Programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI 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, 2006 Erschienen in: Lecture notes in computer science ; 3945
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Freihand verfügbar (1) Wert ausschließen Magazinbestellung (2) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (2) Wert ausschließen Zentralbibliothek (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (4) Wert ausschließen Mathematik (4) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Hagiya, Masami (2) Wert ausschließen Wadler, Philip (2) Wert ausschließen FLOPS 8 2006 Susono (1) Wert ausschließen Hofmann, Martin (1) Wert ausschließen Thompson, Simon (1) Wert ausschließen zeige weitere weniger zeigen