3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.CY2015★ 3 cited
Easyprove: a tool for teaching precise reasoning
Marek Materzok
Teaching precise mathematical reasoning can be very hard. It is very easy for a student to make a subtle mistake in a proof which invalidates it, but it is often hard for the teach…
cs.PL2013★ 2 cited
Proving termination of evaluation for System F with control operators
Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet +1
We present new proofs of termination of evaluation in reduction semantics (i.e., a small-step operational semantics with explicit representation of evaluation contexts) for System…