المؤلفون: Andreas Nuyts, Dominique Devriese, Joris Ceulemans

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d0a506baa9be51d25e98dd90f6dd4bf
http://arxiv.org/abs/2207.00843

المؤلفون: Joris Ceulemans

المساهمون: Dominique Devriese

Relation: https://biblio.vub.ac.be/vubirfiles/66013205/TyDeAbstract.pdf; https://biblio.vub.ac.be/vubir/(ca47e977-2a1b-47b6-95ae-aa52dc3a835e).html

الاتاحة: https://biblio.vub.ac.be/vubirfiles/66013205/TyDeAbstract.pdf
https://biblio.vub.ac.be/vubir/(ca47e977-2a1b-47b6-95ae-aa52dc3a835e).html

المؤلفون: Joris Ceulemans, Ivo De Wever, Raf Sciot, Maria Debiec-Rychter, Allan T. van Oosterom

المصدر: Sarcoma, Vol 6, Iss 4, Pp 135-139 (2002)

مصطلحات موضوعية: Neoplasms. Tumors. Oncology. Including cancer and carcinogens, RC254-282

Relation: http://dx.doi.org/10.1080/1357714021000066386; https://doaj.org/toc/1357-714X; https://doaj.org/toc/1369-1643; https://doaj.org/article/ce3a70d3e86041b69c250d3154a3434b

الاتاحة: https://doi.org/10.1080/1357714021000066386
https://doaj.org/article/ce3a70d3e86041b69c250d3154a3434b

المؤلفون: Joris Ceulemans

المساهمون: Andreas Nuyts

Relation: https://biblio.vub.ac.be/vubir/extended-abstract-reasoning-about-effect-parametricity-using-dependent-types(f42e32c0-e09c-4fcc-b4f7-d960af90107e).html

الاتاحة: https://biblio.vub.ac.be/vubir/extended-abstract-reasoning-about-effect-parametricity-using-dependent-types(f42e32c0-e09c-4fcc-b4f7-d960af90107e).html

المؤلفون: Allan T. van Oosterom, Maria Debiec-Rychter, Raf Sciot, Ivo De Wever, Joris Ceulemans

المصدر: Sarcoma, Vol 6, Iss 4, Pp 135-139 (2002)
Sarcoma

مصطلحات موضوعية: Pathology, medicine.medical_specialty, business.industry, Mesenchymal stem cell, medicine.disease, lcsh:Neoplasms. Tumors. Oncology. Including cancer and carcinogens, lcsh:RC254-282, Extravasation, Normal cell, Oncology, medicine, Tissue healing, Radiology, Nuclear Medicine and imaging, Sarcoma, Left elbow, business, Research Article

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ad17c0e19dd740517bd0dffbb52c6c7
https://doaj.org/article/ce3a70d3e86041b69c250d3154a3434b

المؤلفون: Hugo Devlieger, Tom De Baere, Georges Deneffe, Dirk Van Raemdonck, Willy Coosemans, Christiane De Boeck, Toni Lerut, Paul De Leyn, Joris Ceulemans, Veerle Evrard

المصدر: World journal of surgery. 23(11)

مصطلحات موضوعية: Adult, Male, medicine.medical_specialty, Time Factors, Adolescent, medicine.medical_treatment, Hypertension, Pulmonary, Congenital lobar emphysema, Postoperative Hemorrhage, Pulmonary sequestration, Pulmonary hypoplasia, Pneumonectomy, Bronchogenic Cyst, Cause of Death, Cystic Adenomatoid Malformation of Lung, Congenital, Medicine, Humans, Bronchopulmonary Sequestration, Child, Lung, Retrospective Studies, Venous Thrombosis, business.industry, Portal Vein, Age Factors, Infant, Newborn, Congenital diaphragmatic hernia, Infant, Pneumothorax, Middle Aged, medicine.disease, Pulmonary hypertension, Surgery, Pleural Effusion, Survival Rate, Pulmonary Emphysema, Cardiothoracic surgery, Child, Preschool, Female, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cce63e33f88facc100625527d3f96fd5
https://pubmed.ncbi.nlm.nih.gov/10501874

المؤلفون: Joris Ceulemans, Ivo De Wever, Raf Sciot, Maria Debiec-rychter, Allan T. Van Oosterom, Centre For Human Genetics

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ftp.ncbi.nlm.nih.gov/pub/pmc/3b/84/Sarcoma_2002_Dec_6(4)_135-139.tar.gz

مصطلحات موضوعية: Key words, sarcoma, adriamycin, extravasation Case report

وصف الملف: application/zip

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.275.2031

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.275.2031

المؤلفون: Joris Ceulemans, Andreas Nuyts, Dominique Devriese

المساهمون: Informatics and Applied Informatics, Faculty of Sciences and Bioengineering Sciences, Software Languages Lab

المصدر: Vrije Universiteit Brussel

مصطلحات موضوعية: Dependent Types, effect polymorphism, effect parametricity, Computer Science::Databases

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ef30e9405e2e4c47bac1f73dc17504bf
https://researchportal.vub.be/en/publications/f42e32c0-e09c-4fcc-b4f7-d960af90107e

المؤلفون: Ceulemans, Joris, Nuyts, Andreas, Devriese, Dominique

المساهمون: Joris Ceulemans and Andreas Nuyts and Dominique Devriese

مصطلحات موضوعية: dependent type theory, modalities, multimode type theory, explicit substitutions, substitution algorithm

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 303, 29th International Conference on Types for Proofs and Programs (TYPES 2023); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2023.4

الاتاحة: https://doi.org/10.4230/LIPIcs.TYPES.2023.4
https://nbn-resolving.org/urn:nbn:de:0030-drops-204826
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2023.4