The following pages link to (Q3774923):
Displayed 16 items.
- Theo: An interactive proof development system (Q688727) (← links)
- Simplifying proofs in Fitch-style natural deduction systems (Q851139) (← links)
- The calculus of context relations (Q918720) (← links)
- Co-induction in relational semantics (Q1177158) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- A strict functional language with cyclic recursive data (Q1355753) (← links)
- The complexity of the evaluation of complex algebra expressions (Q1376410) (← links)
- Encoding transition systems in sequent calculus (Q1398474) (← links)
- Type-directed specialization of polymorphism. (Q1854317) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- Verifiable agent dialogues (Q2372183) (← links)
- A stable programming language (Q2492185) (← links)
- Semantic essence of AsmL (Q2571205) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- Inter-deriving Semantic Artifacts for Object-Oriented Programming (Q3511441) (← links)