Pages that link to "Item:Q1092657"
From MaRDI portal
The following pages link to A second order theory of data types (Q1092657):
Displaying 5 items.
- Standard model semantics for DSL. A data type specification language (Q799366) (← links)
- Data types with errors and exceptions (Q1196304) (← links)
- Weak monadic theories of the second order as a basis for creating data specification languages (Q1286567) (← links)
- Introducing data types in intuitionistic type theory (Q3989761) (← links)
- First order data types and first order logic (Q5096240) (← links)