|
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...
|
|
|
|