Fingerprint The fingerprint is based on mining the text of the scientific documents related to the associated persons. Based on that an index of weighted terms is created, which defines the key subjects of research unit

Linear Logic Mathematics
Web services Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Semantics Engineering & Materials Science
Algebra Engineering & Materials Science
Complexity Classes Mathematics
Logarithmic Mathematics
Intuitionistic Logic Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1988 2019

On linear logic, functional programming, and attack trees

Eades, H. D., Jiang, J. & Bryant, A., Jan 1 2019, Graphical Models for Security - 5th International Workshop, GraMSec 2018, Revised Selected Papers. Pym, D., Fila, B. & Cybenko, G. (eds.). Springer Verlag, p. 71-89 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11086 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Functional programming
Functional Programming
Linear Logic
Semantics
Attack

What language? - The choice of an introductory programming language

Ezenwoye, O., Mar 4 2019, Frontiers in Education: Fostering Innovation Through Diversity, FIE 2018 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 8658592. (Proceedings - Frontiers in Education Conference, FIE; vol. 2018-October).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

programming language
Computer programming languages
language
Computer programming
computer science

Dialectica categories for the lambek calculus

de Paiva, V. & Eades, H. D., Jan 1 2018, Logical Foundations of Computer Science - International Symposium, LFCS 2018, Proceedings. Nerode, A. & Artemov, S. (eds.). Springer Verlag, p. 256-272 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10703 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Lambek Calculus
Modality
Religious buildings
Calculus
Syntactics