yr 〜
yr

Search results 5

Introduction to computation : Haskell, logic and automata

Introduction to computation : Haskell, logic and automata
Paper図書
Donald Sannella, Michael Fourman, Haoran Peng, Philip WadlerSpringer2021
Other Libraries in Japan
  • Author HeadingSannella, Donald Fourman, M. P. Peng, Haoran Wadler, Philip

Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991

Applications of categories in computer science : proceedings of the LMS Symposium, Durham, 1991
Paper図書
edited by M.P. Fourman, P.T. Johnstone, A.M. PittsCambridge University Press1992
Other Libraries in Japan
  • Author Heading...mputer Science Fourman, M. P. Johnstone, P. T Pitts, A. M

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 / edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts. (London Mathematical Society lecture note series)

Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 / edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts. (London Mathematical Society lecture note series)
Paper図書
Cambridge University Press1992.<M15-A8538>
National Diet Library
  • Author HeadingLMS Durham Symposium (1991) Fourman, M. P., 1950- Johnstone, P. T. Pitts...

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 : Berlin : New York

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 : Berlin : New York
Paper図書
edited by M.P. Fourman, C.J. Mulvey, and D.S. ScottSpringer-Verlag1979
Other Libraries in Japan
  • Author Heading..., and Analysis Fourman, M. P. Mulvey, C. J. Scott, Dana S. ...

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott. (Lecture notes in mathematics ; 753)

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott. (Lecture notes in mathematics ; 753)
Paper図書
Springer-Verlag1979.<MA81-248>
National Diet Library
  • Author HeadingFourman, M. P., 1950- Mulvey, C. J., 1946- S...

Reached to the end of result.