Collaborated with:B.M.Moore G.Rosu C.Löding P.Madhusudan
Talks about:quantifi (1) instanti (1) coinduct (1) program (1) foundat (1) verif (1) proof (1) natur (1)
Person: Lucas Peña
DBLP: Pe=ntilde=a:Lucas
Contributed to:
2018
2018Wrote 2 papers:
- ESOP-2018-MoorePR #induction #verification
- Program Verification by Coinduction (BMM, LP, GR), pp. 589–618.
- POPL-2018-LodingMP #proving #quantifier
- Foundations for natural proofs and quantifier instantiation (CL, PM, LP), p. 30.