Michael J. Gabbay

Identifiers

• name variant Michael J. Gabbay 0.60 · backfill

Papers (1)

1. Representation and duality of the untyped lambda-calculus in nominal lattice and topological semantics, with a proof of topological completeness cs.LO · 2013 · author #2

Mentions

• 1305.5968 #2 · backfill · confidence 0.70 Michael J. Gabbay

Frequent Coauthors

• Murdoch J. Gabbay 1 shared papers