TY  - BOOK
AU  - Csörnyei, Zoltán
TI  - Pi-kalkulus. A mobil rendszerek elmélete
TS  - A mobil rendszerek elmélete
ET  - 0
PB  - ELTE Eötvös József Collegium
CY  - Budapest
PY  - 2017
SP  - 201
SN  - 9786155371745
UR  - https://m2.mtmt.hu/api/publication/3257890
ID  - 3257890
LA  - Hungarian
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Csörnyei, Zoltán
ED  - Csörnyei, Zoltán
TI  - Az Informatikai Műhely első tíz éve
T2  - Tízéves az ELTE Eötvös József Collegium Informatikai Műhelye
PB  - ELTE Eötvös József Collegium
CY  - Budapest
SN  - 9786155371301
PY  - 2014
SP  - 9
EP  - 17
PG  - 9
UR  - https://m2.mtmt.hu/api/publication/2747470
ID  - 2747470
LA  - Hungarian
DB  - MTMT
ER  - 

TY  - BOOK
ED  - Csörnyei, Zoltán
TI  - Tízéves az ELTE Eötvös József Collegium Informatikai Műhelye. 2004-2014
TS  - 2004-2014
ET  - 0
PB  - ELTE Eötvös József Collegium
CY  - Budapest
PY  - 2014
SP  - 414
SN  - 9786155371301
UR  - https://m2.mtmt.hu/api/publication/2739712
ID  - 2739712
LA  - Hungarian
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Csörnyei, Zoltán
AU  - Németh, Boldizsár
TI  - Stackless programming in Miller
JF  - ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA
J2  - ACTA UNIV SAP INFORM
VL  - 5
PY  - 2013
IS  - 2
SP  - 167
EP  - 183
PG  - 17
SN  - 1844-6086
DO  - 10.2478/ausi-2014-0009
UR  - https://m2.mtmt.hu/api/publication/2534314
ID  - 2534314
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Csörnyei, Zoltán
ED  - Csörnyei, Zoltán
TI  - The progress of the theory of type systems
T2  - 9th Joint Conference on Mathematics and Computer Science, MaCS’12
PB  - Eötvös Loránd Tudományegyetem (ELTE)
C1  - Budapest
PY  - 2012
SP  - 31
UR  - https://m2.mtmt.hu/api/publication/2396754
ID  - 2396754
LA  - English
DB  - MTMT
ER  - 

TY  - BOOK
AU  - Csörnyei, Zoltán
TI  - Bevezetés a típusrendszerek elméletébe
ET  - 0
PB  - ELTE Eötvös Kiadó
CY  - Budapest
PY  - 2012
SP  - 323
SN  - 9789633121344
UR  - https://m2.mtmt.hu/api/publication/2396715
ID  - 2396715
LA  - Hungarian
DB  - MTMT
ER  - 

TY  - BOOK
ED  - Csörnyei, Zoltán
TI  - 9th Joint Conference on Mathematics and Computer Science, MaCS’12. Abstracts
TS  - Abstracts
ET  - 0
PB  - Eötvös Loránd Tudományegyetem (ELTE)
C1  - Budapest
PY  - 2012
SP  - 104
UR  - https://m2.mtmt.hu/api/publication/2345306
ID  - 2345306
LA  - English
DB  - MTMT
ER  - 

TY  - BOOK
AU  - Csörnyei, Zoltán
TI  - Funkcionális programnyelvek implementációja
ET  - 0
PB  - ELTE Informatikai Kar
CY  - Budapest
PY  - 2010
SP  - 138
UR  - https://m2.mtmt.hu/api/publication/2398505
ID  - 2398505
LA  - Hungarian
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Ádám, Balogh
AU  - Csörnyei, Zoltán
TI  - Orthogonal subclasses and multiple inheritance of system predicate classes
JF  - PURE MATHEMATICS AND APPLICATIONS
J2  - PU.M.A PURE MATH APPL
VL  - 17
PY  - 2009
IS  - 3-4
SP  - 205
EP  - 227
PG  - 23
SN  - 1218-4586
UR  - https://m2.mtmt.hu/api/publication/2396799
ID  - 2396799
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Ádám, Balogh
AU  - Csörnyei, Zoltán
TI  - Subject-oriented operating system development based on system predicate classes
JF  - ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA
J2  - ANN UNIV SCI BP R EÖTVÖS NOM SECT COMPUT
VL  - 30
PY  - 2009
SP  - 117
EP  - 139
PG  - 23
SN  - 0138-9491
UR  - https://m2.mtmt.hu/api/publication/2396785
ID  - 2396785
LA  - English
DB  - MTMT
ER  -