Search results for: Lars Birkedal
Journal of Automated Reasoning > 2019 > 63 > 2 > 211-253
Information and Computation > 2016 > 249 > C > 160-189
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 198-214
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Semantics of Programming Languages > 2-17
Lecture Notes in Computer Science > ECOOP 2010 – Object-Oriented Programming > Formal Methods > 175-199
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Program Analysis and Semantics > 456-470
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 198-212
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 93-107
Lecture Notes in Computer Science > Programming Languages and Systems > Program Verification > 337-352
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Semantics > 305-319
Lecture Notes in Computer Science > Programming Languages and Systems > Logics and Correctness Proofs > 189-204