Beta Ziliani

Available identifiers

zbMath Open ziliani.betaMaRDI QIDQ777872

List of research outcomes

Publication	Date of Publication	Type
From specification to testing: semantics engineering for Lua 5.2	2022-12-12	Paper
Verification of dynamic bisimulation theorems in Coq	2021-06-25	Paper
Mechanizing bisimulation theorems for relation-changing logics in Coq	2020-07-08	Paper
Mtac: A monad for typed tactic programming in Coq	2017-10-23	Paper
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading	2017-10-23	Paper
A unification algorithm for Coq featuring universe polymorphism and overloading	2017-05-10	Paper
Mtac	2015-03-30	Paper
How to make ad hoc proof automation less ad hoc	2015-03-05	Paper
How to make ad hoc proof automation less ad hoc	2014-02-27	Paper
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation	2013-08-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Beta Ziliani