Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Theory Of Computation (F) > Logics And Meanings Of Programs (F.3)  
  Logics And Meanings Of Programs (F.3) See Reviews  
 
General (46)
Specifying And Verifying And Reasoning About Programs (36)
Semantics Of Programming Languages (316)
Studies Of Program Constructs (120)
Miscellaneous (0)
   
 
Reviews limited to:
 
 

Reviews in category "Logics And Meanings Of Programs (F.3)":
 Information dynamics: in classical and quantum systems
Dittrich T., Springer, New York, NY , 2022. 557 pp.  Type: Book (978-3030967444)
 Simple type theory: a practical logic for expressing and reasoning about mathematical ideas
Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp.  Type: Book (3031211138)
Simple type theory: a practical logic for expressing and reasoning about mathematical ideas
Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp.  Type: Book (3031211138)
 A first journey through logic
Hils M., Loeser F., AMERICAN MATHEMATICAL SOCIETY, Providence, RI, 2019. 185 pp.  Type: Book (978-1-470452-72-8)
Constructing quotient inductive-inductive types
Kaposi A., Kovács A., Altenkirch T. Proceedings of the ACM on Programming Languages 3(POPL): 1-24, 2019.  Type: Article
more...

Related Topics

F.3.1
Specifying And Verifying And Reasoning About Programs
  - Requirements/Specifications
  - Data Structures
  - Software/Program Verification
  - Formal Definitions And Theory

F.3.2
Semantics Of Programming Languages
  - Formal Definitions And Theory

F.3.3
Studies Of Program Constructs
  - Language Classifications
  - Language Constructs and Features
   
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy