BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tasistro:Alvaro

Contributed to:

TLCA 20152015
HCI/LCT p1 20142014

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.