Jump to main content

yr 〜
yr

Search results 4

Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. (Lecture notes in computer science ; 78)

Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. (Lecture notes in computer science ; 78)
Paper図書
Springer-Verlag1979.<MA41-167>
National Diet Library
  • Author HeadingGordon, Michael J. C., 1948- Milner, R. (Robin) , 1934- Wadsworth, Christopher P.

Edinburgh LCF : a mechanised logic of computation : gw : us

Edinburgh LCF : a mechanised logic of computation : gw : us
Paper図書
Michael J. Gordon, Arthur J. Milner, Christopher P. WadsworthSpringer-Verlag1980
Other Libraries in Japan
  • Author HeadingGordon, Michael J. C. Milner, Robin Wadsworth, Christopher P.

Edinburgh LCF : a mechanised logic of computation : gw : us

Edinburgh LCF : a mechanised logic of computation : gw : us
Paper図書
Michael J. Gordon, Arthur J. Milner, Christopher P. WadsworthSpringer-Verlag1979
Other Libraries in Japan
  • Author HeadingGordon, Michael J. C. Milner, Robin Wadsworth, Christopher P.

Continuations : a mathematical semantics for handling full jumps

Continuations : a mathematical semantics for handling full jumps
Paper図書
by Christopher Strachey and Christopher P. WadsworthOxford University Computing Laboratory, Programming Research Group1974
Other Libraries in Japan
  • Author HeadingStrachey, Christopher Wadsworth, Christopher P.

Reached to the end of result.

RSS