Pages that link to "Item:Q3541713"
From MaRDI portal
The following pages link to Celf – A Logical Framework for Deductive and Concurrent Systems (System Description) (Q3541713):
Displayed 5 items.
- Celf (Q34509) (← links)
- Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda (Q2683037) (← links)
- Plugging-in proof development environments using<i>Locks</i>in<tt>LF</tt> (Q4691186) (← links)
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746) (← links)
- Towards substructural property-based testing (Q6102253) (← links)