6 found
  1.  45
    Types in logic, mathematics and programming.Robert L. Constable - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 137.
  2.  21
    2002 european summer meeting of the association for symbolic logic logic colloquium'02.Lev D. Beklemishev, Stephen Cook, Olivier Lessmann, Simon Thomas, Jeremy Avigad, Arnold Beckmann, Tim Carlson, Robert L. Constable & Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (1):71.
  3. The role of finite automata in the development of modern computing theory.Robert L. Constable - 1980 - In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland. pp. 61--83.
  4.  52
    The Triumph of Types: Principia Mathematica's Impact on Computer Science.Robert L. Constable - unknown
    Types now play an essential role in computer science; their ascent originates from Principia Mathematica. Type checking and type inference algorithms are used to prevent semantic errors in programs, and type theories are the native language of several major interactive theorem provers. Some of these trace key features back to Principia.
    Direct download  
    Export citation  
  5.  25
    Greibach Sheila A.. Theory of program structures: schemes, semantics, verification. Lecture notes in computer science, vol. 36. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, xv + 364 pp. [REVIEW]Robert L. Constable - 1978 - Journal of Symbolic Logic 43 (1):154-156.
  6.  19
    Review: Sheila A. Greibach, Theory of Program Structures: Schemes, Semantics, Verification. [REVIEW]Robert L. Constable - 1978 - Journal of Symbolic Logic 43 (1):154-156.