Preface to special issue: LSFA 2017 and 2018.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 3, p. 255, doi. 10.1017/S096012952100044X
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2021 AND VI 31 AND IP 3
Results: 5
1
2
Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 3, p. 341, doi. 10.1017/S0960129521000335
- By:
- Publication type:
- Article
3
A focused linear logical framework and its application to metatheory of object logics.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 3, p. 312, doi. 10.1017/S0960129521000323
- By:
- Publication type:
- Article
4
Formalising nominal C-unification generalised with protected variables.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 3, p. 286, doi. 10.1017/S0960129521000050
- By:
- Publication type:
- Article
5
Quasi-Nelson algebras and fragments.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 3, p. 257, doi. 10.1017/S0960129521000049
- By:
- Publication type:
- Article