Travelled to:1 × Switzerland
1 × USA
Collaborated with:∅
Talks about:represent (1) construct (1) mathemat (1) tutori (1) theori (1) linear (1) compar (1) logic (1)
Person: A. S. Troelstra
DBLP: Troelstra:A=_S=
Contributed to:
1992
1991Wrote 2 papers:
- JICSLP-1992-Troelstra #linear #logic #tutorial
- Tutorial on Linear Logic (AST), pp. 30–31.
- CSL-1991-Troelstra #formal method
- Comparing the Theory of Representations and Constructive Mathematics (AST), pp. 383–395.