BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Portugal
3 × USA
Collaborated with:

Talks about:
theoret (2) concurr (2) recurs (2) model (2) game (2) calculus (1) theorem (1) process (1) axiomat (1) absolut (1)

Person: Yiannis N. Moschovakis

DBLP DBLP: Moschovakis:Yiannis_N=

Contributed to:

CSL 20092009
LICS 20082008
CSL 19971997
POPL 19901990
LICS 19891989

Wrote 5 papers:

CSL-2009-Moschovakis #recursion #theorem
Kleene’s Amazing Second Recursion Theorem (YNM), pp. 24–39.
LICS-2008-Moschovakis #axiom #bound
The Axiomatic Derivation of Absolute Lower Bounds (YNM), p. 405.
CSL-1997-Moschovakis #concurrent #game studies #recursion #λ-calculus
A Game-Theoretic, Concurrent and Fair Model of the Typed λ-calculus, with Full Recursion (YNM), pp. 341–359.
POPL-1990-Moschovakis #process
Computable processes (YNM), pp. 72–80.
LICS-1989-Moschovakis #concurrent #formal method #game studies #modelling
A Game-Theoretic Modeling of Concurrency (YNM), pp. 154–163.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.