BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × United Kingdom
Collaborated with:
K.Aehlig R.Matthes
Talks about:
confluenc (1) standard (1) calculus (1) general (1) continu (1) normal (1) applic (1)

Person: Felix Joachimski

DBLP DBLP: Joachimski:Felix

Contributed to:

CSL 20022002
RTA 20002000

Wrote 2 papers:

CSL-2002-AehligJ #normalisation #on the
On Continuous Normalization (KA, FJ), pp. 59–73.
RTA-2000-JoachimskiM #confluence #standard #λ-calculus
Standardization and Confluence for a λ Calculus with Generalized Applications (FJ, RM), pp. 141–155.

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.