Sebastian Posur

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 4

Top Topics

Top Venues

Compositionality

Appl. Categorical Struct.

J. Symb. Comput.

Publications

Sebastian Posur
A Constructive Approach to Freyd Categories. Appl. Categorical Struct. 29 (1) (2021)
Sebastian Posur
Closing the category of finitely presented functors under images made constructive. Compositionality 2 (2020)
Sebastian Posur
Constructing equivariant vector bundles via the BGG correspondence. J. Symb. Comput. 91 (2019)
Sebastian Gutsche, Sebastian Posur, Øystein Skartsæterhagen
On the Syntax and Semantics of CAP. CICM Workshops (2018)