The following pages link to (Q5656739):
Displaying 6 items.
- A second order theory of data types (Q1092657) (← links)
- Data types with errors and exceptions (Q1196304) (← links)
- Tarski on ``essentially richer'' metalanguages (Q1283316) (← links)
- Henkin’s Theorem in Textbooks (Q3454810) (← links)
- A metalogic programming approach: language, semantics and applications (Q4305334) (← links)
- Notion of dynamical input-output systems: causality and state concepts (Q4777121) (← links)
