Pinned Repositories
ac-1516
Course material for a course on modelling and calculi for software architecture, with emphasise on reactive systems.
choreo
ic-1718
Unit course on "Interacção e Concorrência", taught on 2017/2018.
lambda-caos
Illustrative example of the usage of CAOS with a simple lambda-calculus reduction semantics
qit1718-mi
Matemática para a Informática - Qualifica IT
quantamorphisms
Tools and scripts used in the context of the MSc project "Towards Quantum Program Calculation"
quantum-computation-1718
quantum-computation-2223
Material for the course "Quantum Computing", edition 2022-2023, taught at the University of Minho
quantum-computation-2324
Material for the course "Quantum Computation", edition 2023-2024, taught at the University of Minho
quantum-logic-1718
Quantum logics course
LMF's Repositories
arcalab/ac-1516
Course material for a course on modelling and calculi for software architecture, with emphasise on reactive systems.
arcalab/qit1718-mi
Matemática para a Informática - Qualifica IT