Suchergebnisse - Zucker, Jeffrey I.

Program correctness over abstract data types, with error-state semantics

Correspondence between cut-elimination in the sequent calculus and normalization in natural deduction for the negative fragment of intuitionistic predicate logic

Correspondence between cut-elimination in the sequent calculus and normalization in natural deduction for the negative fragment of intuitionistic predicate logic

A semantic approach to fairness

On infinite computations in denotational semantics

Compactness in semantics for merge and fair merge

Processes and fair semantics for the ADA rendez-vous

Derivatives of programs

Correspondence between cut-elimination in the sequent calculus and normalization in natural deduction for the negative fragment of intuitionistic predicate logic

Processes and a fair semantics for the ADA rendez-vouz