Travelled to:1 × Greece
1 × Poland
Collaborated with:J.Pais E.Fairweather M.Fernández N.Szasz
Talks about:substitut (1) didact (1) depend (1) deduct (1) assist (1) proof (1) order (1) novel (1) nomin (1) natur (1)
Person: Alvaro Tasistro
DBLP: Tasistro:Alvaro
Contributed to:
2015
2014Wrote 2 papers:
- TLCA-2015-FairweatherFST #dependent type
- Dependent Types for Nominal Terms with Atom Substitutions (EF, MF, NS, AT), pp. 180–195.
- LCT-NLE-2014-PaisT #deduction #first-order #logic #novel #proving
- Novel Didactic Proof Assistant for First-Order Logic Natural Deduction (JP, AT), pp. 441–451.