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 × Austria
1 × Italy
1 × Japan
Collaborated with:
M.Sato Y.Kameyama R.M.Burstall A.Igarashi
Talks about:
construct (2) properti (2) syntact (2) environ (2) prove (2) model (2) explicit (1) categori (1) calculus (1) variabl (1)

Person: Takafumi Sakurai

DBLP DBLP: Sakurai:Takafumi

Contributed to:

CSL 20032003
FLOPS 20012001
TLCA 19991999
FLOPS 19981998
IJFCS/FLOPS 19982001

Wrote 5 papers:

CSL-2003-SatoSKI #calculus
Calculi of Meta-variables (MS, TS, YK, AI), pp. 484–497.
FLOPS-2001-SatoSK #calculus
A Simply Typed Context Calculus with First-Class Environments (MS, TS, YK), pp. 359–374.
Explicit Environments (MS, TS, RMB), pp. 340–354.
FLOPS-1998-Sakurai #proving
Categorial Model Construction for Proving Syntactic Properties (TS), pp. 187–206.
FLOPS-J2-1998-Sakurai01 #category theory #proving
Categorical Model Construction for Proving Syntactic Properties (TS), pp. 213–244.

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.