Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Navid Roux"'
Autor:
Florian Rabe, Navid Roux
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 337:88-103
Type theories can be formalized using the intrinsically (hard) or the extrinsically (soft) typed style. In large libraries of type theoretical features, often both styles are present, which can lead to code duplication and integration issues. We defi
Autor:
Florian Rabe, Navid Roux
Publikováno v:
Recent Trends in Algebraic Development Techniques ISBN: 9783030737849
WADT
WADT
Theory operators are meta-level operators in logic that map theories to theories. Often these are functorial in that they can be extended to theory morphisms and possibly enjoy further valuable properties such as preserving inclusions. Thus, it is po
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bd3347d9783fe87864f2a9025516a73b
https://doi.org/10.1007/978-3-030-73785-6_8
https://doi.org/10.1007/978-3-030-73785-6_8
Autor:
Michael Kohlhase, Benjamin Bösl, Navid Roux, Richard Marcus, Dennis Müller, Denis Rochau, John Schihada, Marc Stamminger
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030535179
CICM
CICM
Serious games are an attempt to leverage the inherent motivation in game-like scenarios for an educational application and to transpose the learning goals into real-world applications. Unfortunately, serious games are also very costly to develop and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::206564d9f812486667b8883e98d96c93
https://doi.org/10.1007/978-3-030-53518-6_11
https://doi.org/10.1007/978-3-030-53518-6_11