Notes on applicative matching logic
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909652263895040 |
|---|---|
| author | Leuştean, Laurenţiu |
| author_facet | Leuştean, Laurenţiu |
| contents | Matching logic (ML) was developed by Grigore Roşu and collaborators as a logic for defining the formal semantics of programming languages and for specifying and reasoning about the behavior of programs. These lecture notes present basic definitions and results on applicative matching logic (AML), a functional variant of ML introduced recently by Xiaohong Chen and Grigore Roşu. They can be used as an introductory text in the theory of AML. Monk's textbook on mathematical logic has an enormous influence on the notes. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_10088 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Notes on applicative matching logic Leuştean, Laurenţiu Logic in Computer Science Logic 03B70, 68Q55 F.3.1 Matching logic (ML) was developed by Grigore Roşu and collaborators as a logic for defining the formal semantics of programming languages and for specifying and reasoning about the behavior of programs. These lecture notes present basic definitions and results on applicative matching logic (AML), a functional variant of ML introduced recently by Xiaohong Chen and Grigore Roşu. They can be used as an introductory text in the theory of AML. Monk's textbook on mathematical logic has an enormous influence on the notes. |
| title | Notes on applicative matching logic |
| topic | Logic in Computer Science Logic 03B70, 68Q55 F.3.1 |
| url | https://arxiv.org/abs/2506.10088 |