The following pages link to Computer Science Logic (Q5311260):
Displaying 7 items.
- A dependent type theory with abstractable names (Q530845) (← links)
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- A Simple Nominal Type Theory (Q2804939) (← links)
- Nominal Equational Logic (Q2864152) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
