The following pages link to Functional and Logic Programming (Q5308011):
Displaying 6 items.
- Implementing constructive intensional negation (Q839831) (← links)
- Notes on constructive negation (Q2500818) (← links)
- Negative Polar Interrogatives and Bias (Q3617030) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- Extending Constructive Logic Negation with Types (Q4982631) (← links)
- Logic Programming (Q5313191) (← links)