Statistics
Publications
1
Citations
19
H-Index
1
Active since
2022
Affiliations
University of Freiburg(Current)
Bernardo Pinto de Almeida is an author at University of Freiburg specializing in context-free languages, polymorphic type systems, and recursion theory.
Publications per year
2022–2022
1
1
Polymorphic lambda calculus with context-free session types
Bernardo Pinto de Almeida, Andreia Mordido, Peter Thiemann et al. · Information and Computation · 2022 · 19 citations · Full text
1–1 of 1