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: Zaionc:Marek
Contributed to:
2007
1997
1985Wrote 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.