Works matching IS 09601295 AND DT 2017 AND VI 27 AND IP 5
Results: 14
Transcendental syntax I: deterministic case.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 827, doi. 10.1017/S0960129515000407
- By:
- Publication type:
- Article
Computing with relational machines.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 807, doi. 10.1017/S0960129515000390
- By:
- Publication type:
- Article
Clocked lambda calculus.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 782, doi. 10.1017/S0960129515000389
- By:
- Publication type:
- Article
Classical lambda calculus in modern dress.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 762, doi. 10.1017/S0960129515000377
- By:
- Publication type:
- Article
Isomorphism of intersection and union types.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 603, doi. 10.1017/S0960129515000304
- By:
- Publication type:
- Article
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 751, doi. 10.1017/S0960129515000365
- By:
- Publication type:
- Article
Taming the wild ant-lion; a counterexample to a conjecture of Böhm.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 734, doi. 10.1017/S0960129515000341
- By:
- Publication type:
- Article
The infinitary lambda calculus of the infinite eta Böhm trees.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 681, doi. 10.1017/S096012951500033X
- By:
- Publication type:
- Article
The parametric continuation monad.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 651, doi. 10.1017/S0960129515000328
- By:
- Publication type:
- Article
Essential and relational models.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 626, doi. 10.1017/S0960129515000316
- By:
- Publication type:
- Article
Redexes are stable in the λ-calculus.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 738, doi. 10.1017/S0960129515000353
- By:
- Publication type:
- Article
Infinitary affine proofs.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 581, doi. 10.1017/S0960129515000298
- By:
- Publication type:
- Article
The approximation theorem for the Λμ-calculus.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 560, doi. 10.1017/S0960129515000286
- By:
- Publication type:
- Article
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 557, doi. 10.1017/S0960129515000274
- By:
- Publication type:
- Article