6 found
Order:
  1.  36
    Types in Logic, Mathematics and Programming.Robert L. Constable - 1998 - In Samuel R. Buss (ed.), Bulletin of Symbolic Logic. Elsevier. pp. 137.
  2.  33
    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  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  11
    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.
  4.  10
    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.
  5.  10
    Review: Sheila A. Greibach, Theory of Program Structures: Schemes, Semantics, Verification. [REVIEW]Robert L. Constable - 1978 - Journal of Symbolic Logic 43 (1):154-156.
  6. 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.