Skip to contents Arbib, Michael A. [Author]; Kfoury, Assaf J. [Author]; Moll, Robert N. [Author] ; Arbib, Michael Anthony [Other] A basis for theoretical computer science Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, c 1981 Published in: Texts and monographs in computer science ; The AKM series in theoretical computer science Kfoury, Assaf J. [Author]; Moll, Robert N. [Author]; Arbib, Michael A. [Author] ; Arbib, Michael Anthony [Other] A programming approach to computability Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, 1982 Published in: Texts and monographs in computer science ; The AKM series in theoretical computer science- Texts and monographs in computer science Gabay, Yarom; Kfoury, Assaf J. A calculus for java's reference objects Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2007 Published in: ACM SIGPLAN Notices Kfoury, Assaf; Washburn, Geoffrey; Wells, J.B. Implementing Compositional Analysis Using Intersection Types With Expansion Variables Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2003 Published in: Electronic Notes in Theoretical Computer Science Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M. Programming Languages and Systems: What Are Polymorphically-Typed Ambients? Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2001 Published in: Programming Languages and Systems Kfoury, Assaf J.; Mairson, Harry G.; Turbak, Franklyn A.; Wells, J. B. Relating typability and expressiveness in finite-rank intersection type systems (extended abstract) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1999 Published in: ACM SIGPLAN Notices
Arbib, Michael A. [Author]; Kfoury, Assaf J. [Author]; Moll, Robert N. [Author] ; Arbib, Michael Anthony [Other] A basis for theoretical computer science Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, c 1981 Published in: Texts and monographs in computer science ; The AKM series in theoretical computer science
Kfoury, Assaf J. [Author]; Moll, Robert N. [Author]; Arbib, Michael A. [Author] ; Arbib, Michael Anthony [Other] A programming approach to computability Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, 1982 Published in: Texts and monographs in computer science ; The AKM series in theoretical computer science- Texts and monographs in computer science
Gabay, Yarom; Kfoury, Assaf J. A calculus for java's reference objects Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2007 Published in: ACM SIGPLAN Notices
Kfoury, Assaf; Washburn, Geoffrey; Wells, J.B. Implementing Compositional Analysis Using Intersection Types With Expansion Variables Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2003 Published in: Electronic Notes in Theoretical Computer Science
Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M. Programming Languages and Systems: What Are Polymorphically-Typed Ambients? Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2001 Published in: Programming Languages and Systems
Kfoury, Assaf J.; Mairson, Harry G.; Turbak, Franklyn A.; Wells, J. B. Relating typability and expressiveness in finite-rank intersection type systems (extended abstract) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1999 Published in: ACM SIGPLAN Notices
> Media type Skip to next facet Articles (4) Wert ausschließen Books (2) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (2) Wert ausschließen Without Specification (2) Wert ausschließen Show more show less
> Language Skip to next facet English (5) Wert ausschließen Not determined (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (5) Wert ausschließen Mathmatics (2) Wert ausschließen Show more show less
> Creator Skip to next facet Kfoury, Assaf J. (5) Wert ausschließen Arbib, Michael A. (2) Wert ausschließen Arbib, Michael Anthony (2) Wert ausschließen Moll, Robert N. (2) Wert ausschließen Amtoft, Torben (1) Wert ausschließen Gabay, Yarom (1) Wert ausschließen Kfoury, Assaf (1) Wert ausschließen Mairson, Harry G. (1) Wert ausschließen Pericas-Geertsen, Santiago M. (1) Wert ausschließen Turbak, Franklyn A. (1) Wert ausschließen Washburn, Geoffrey (1) Wert ausschließen Wells, J. B. (1) Wert ausschließen Wells, J.B. (1) Wert ausschließen Show more show less
> Collection Skip to next facet Association for Computing Machinery (ACM) (CrossRef) (2) Wert ausschließen Verbunddaten SWB (2) Wert ausschließen Elsevier BV (CrossRef) (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen Show more show less