Ma{\l}gorzata Biernacka

Identifiers

• name variant Ma{\l}gorzata Biernacka 0.60 · backfill

Papers (1)

1. Proving termination of evaluation for System F with control operators cs.PL · 2013 · author #1

Mentions

• 1309.1261 #1 · backfill · confidence 0.70 Ma{\l}gorzata Biernacka

Frequent Coauthors

• Dariusz Biernacki 1 shared papers
• Marek Materzok 1 shared papers
• Sergue\"i Lenglet 1 shared papers