Gergely Buday

According to our database, Gergely Buday authored at least 4 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Countable Sums and Discrete (Sub)Distributions.

Gergely Buday, Andrei Popescu

Arch. Formal Proofs, 2024

Isomorphic Transfer Infrastructure for Nested Types in Isabelle/HOL (Work in Progress).

Gergely Buday, Andrei Popescu

Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024), 2024

2015

Formalising the SECD machine with nominal Isabelle.

Gergely Buday

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2008

<i>Logic in Computer Science: Modelling and Reasoning About Systems</i> by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X.

Gergely Buday

J. Funct. Program., 2008