Pages that link to "Item:Q5308449"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308449):
Displaying 12 items.
- Kripke models for classical logic (Q636371) (← links)
- Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation (Q651316) (← links)
- Term rewriting for normalization by evaluation. (Q1401941) (← links)
- Intuitionistic model constructions and normalization proofs (Q2785696) (← links)
- The simple type theory of normalisation by evaluation (Q2841227) (← links)
- From reduction-based to reduction-free normalization (Q2849585) (← links)
- Big-step normalisation (Q3638919) (← links)
- Operational aspects of untyped Normalisation by Evaluation (Q4818938) (← links)
- (Q4995161) (← links)
- Normalization by Evaluation for Martin-Löf Type Theory with One Universe (Q5262927) (← links)
- Functional and Logic Programming (Q5308026) (← links)
- Denotational aspects of untyped normalization by evaluation (Q5313717) (← links)