The following pages link to Logic and Computation (Q5966630):
Displaying 7 items.
- A proof-theoretic characterization of the basic feasible functionals (Q706620) (← links)
- Logics of programs. Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 (Q789378) (← links)
- Normal functors, power series and \(\lambda\)-calculus (Q1103618) (← links)
- Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings (Q1188694) (← links)
- (Q3197780) (← links)
- (Q4002277) (← links)
- (Q4348468) (← links)