@book{MTMT:3257890, title = {Pi-kalkulus. A mobil rendszerek elmélete}, url = {https://m2.mtmt.hu/api/publication/3257890}, isbn = {9786155371745}, author = {Csörnyei, Zoltán}, publisher = {Collegium de Iosepho Eötvös nominatum}, unique-id = {3257890}, year = {2017} } @inbook{MTMT:2747470, title = {Az Informatikai Műhely első tíz éve}, url = {https://m2.mtmt.hu/api/publication/2747470}, author = {Csörnyei, Zoltán}, booktitle = {Tízéves az ELTE Eötvös József Collegium Informatikai Műhelye}, unique-id = {2747470}, year = {2014}, pages = {9-17} } @book{MTMT:2739712, title = {Tízéves az ELTE Eötvös József Collegium Informatikai Műhelye. 2004-2014}, url = {https://m2.mtmt.hu/api/publication/2739712}, isbn = {9786155371301}, editor = {Csörnyei, Zoltán}, publisher = {Collegium de Iosepho Eötvös nominatum}, unique-id = {2739712}, year = {2014} } @article{MTMT:2534314, title = {Stackless programming in Miller}, url = {https://m2.mtmt.hu/api/publication/2534314}, author = {Csörnyei, Zoltán and Németh, Boldizsár}, doi = {10.2478/ausi-2014-0009}, journal-iso = {ACTA UNIV SAP INFORM}, journal = {ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA}, volume = {5}, unique-id = {2534314}, issn = {1844-6086}, year = {2013}, eissn = {2066-7760}, pages = {167-183}, orcid-numbers = {Németh, Boldizsár/0000-0001-5720-3704} } @CONFERENCE{MTMT:2396754, title = {The progress of the theory of type systems}, url = {https://m2.mtmt.hu/api/publication/2396754}, author = {Csörnyei, Zoltán}, booktitle = {9th Joint Conference on Mathematics and Computer Science, MaCS’12}, unique-id = {2396754}, year = {2012}, pages = {31} } @book{MTMT:2396715, title = {Bevezetés a típusrendszerek elméletébe}, url = {https://m2.mtmt.hu/api/publication/2396715}, isbn = {9789633121344}, author = {Csörnyei, Zoltán}, publisher = {ELTE Eötvös Kiadó Kft.}, unique-id = {2396715}, year = {2012} } @misc{MTMT:2345306, title = {9th Joint Conference on Mathematics and Computer Science, MaCS’12. Abstracts}, url = {https://m2.mtmt.hu/api/publication/2345306}, editor = {Csörnyei, Zoltán}, publisher = {Eötvös Loránd University}, unique-id = {2345306}, year = {2012} } @book{MTMT:2398505, title = {Funkcionális programnyelvek implementációja}, url = {https://m2.mtmt.hu/api/publication/2398505}, author = {Csörnyei, Zoltán}, publisher = {ELTE Faculty of Informatics; Eötvös Loránd Tudományegyetem Informatikai Kar}, unique-id = {2398505}, year = {2010} } @article{MTMT:2396799, title = {Orthogonal subclasses and multiple inheritance of system predicate classes}, url = {https://m2.mtmt.hu/api/publication/2396799}, author = {Ádám, Balogh and Csörnyei, Zoltán}, journal-iso = {PU.M.A PURE MATH APPL}, journal = {PURE MATHEMATICS AND APPLICATIONS}, volume = {17}, unique-id = {2396799}, issn = {1218-4586}, year = {2009}, eissn = {1788-800X}, pages = {205-227} } @article{MTMT:2396785, title = {Subject-oriented operating system development based on system predicate classes}, url = {https://m2.mtmt.hu/api/publication/2396785}, author = {Ádám, Balogh and Csörnyei, Zoltán}, journal-iso = {ANN UNIV SCI BP R EÖTVÖS NOM SECT COMPUT}, journal = {ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA}, volume = {30}, unique-id = {2396785}, issn = {0138-9491}, year = {2009}, pages = {117-139} }