Martin Hyland
- A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
1976/02/01 by Martin Hyland · 1 voice · 2 citations
Computer Science · Economics, Econometrics and Finance · #Advanced Algebra and Logic #Game Theory and Voting Systems #semigroups and automata theory