Hugo-Andrés López-Acosta - Publications - Welcome to DTU Research Database

View Scopus Profile

Emailhulodtudk
Websitehttp://hugo.lopezacosta.net

Richard Petersens Plads, 321, 015
2800 Kgs. Lyngby
Denmark

Accepting PhD Students

16 Article in proceedings
1 Ph.D. thesis
1 Preface/postscript
1 Journal article

1 results

Filter

2012
Foundations of Communication-Centred Programming: Calculi, Logics & Types
López-Acosta, H.-A. & Hildebrandt, T. (Main supervisor), 2012, 233 p.
Research output: Book/Report › Ph.D. thesis

Open Access
File
103 Downloads (Pure)