The following pages link to Functional and Logic Programming (Q5308026):
Displaying 5 items.
- Normalization by evaluation and algebraic effects (Q265792) (← links)
- Analytic tableaux for higher-order logic with choice (Q438561) (← links)
- An algebra of pure quantum programming (Q2864167) (← links)
- (Q4536108) (← links)
- Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus (Q5111914) (← links)