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 × Switzerland
2 × France
Collaborated with:
J.Malolepszy M.Moczurad H.Fournier D.Gardy A.Genitrini
Talks about:
schwichtenberg (1) intuitionist (1) calculus (1) asymptot (1) undecid (1) regular (1) express (1) classic (1) unifi (1) style (1)

Person: Marek Zaionc

DBLP DBLP: Zaionc:Marek

Contributed to:

CSL 20072007
TLCA 19971997
RTA 19851985

Wrote 3 papers:

CSL-2007-FournierGGZ #logic
Classical and Intuitionistic Logic Are Asymptotically Identical (HF, DG, AG, MZ), pp. 177–193.
TLCA-1997-MalolepszyMZ #decidability
Schwichtenberg-Style λ Definability Is Undecidable (JM, MM, MZ), pp. 267–283.
RTA-1985-Zaionc #regular expression #set #λ-calculus
The Set of Unifiers in Typed λ-Calculus as Regular Expression (MZ), pp. 430–440.

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.