The following pages link to (Q5667469):
Displaying 6 items.
- A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle (Q286772) (← links)
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- Formal parametric polymorphism (Q1314344) (← links)
- An extension of system F with subtyping (Q5096247) (← links)
- A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010) (← links)
