LBLars Birkedal
Lars Birkedal
*This is an algorithmically generated author record based on publicly available information.
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Previous Organizations / Institutes
The organizations / institutes from the scholar's other articles in the past ten years
Research Subjects
Research Interests
Lars Birkedal has a total of 3 co-authors. Here are the top co-authors by number of shared publications:
- Morten Welinder
University of Copenhagen
1 shared publication - Robert Harper
Carnegie Mellon University, Pittsburgh, USA
1 shared publication - Steve Awodey
Carnegie Mellon University
1 shared publication
Latest Publications
- 1 February 2003
- Published by Elsevier in Journal of Pure and Applied Algebra
- Vol. 177 (3) , 215-230
Elementary axioms for local maps of toposes
- 1 February 2003
- Published by Elsevier in Journal of Pure and Applied Algebra
- Vol. 177 (3) , 215-230
Elementary axioms for local maps of toposes
- 1 January 1997
- Published by Springer Nature
- p. 458-490
Relational interpretations of recursive types in an operational setting (Summary)
- 1 January 1997
- Published by Springer Nature
- p. 458-490
Relational interpretations of recursive types in an operational setting (Summary)
- 1 September 1995
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 8 (3) , 191-208
Binding-time analysis for Standard ML
- 1 September 1995
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 8 (3) , 191-208
Binding-time analysis for Standard ML