Configuration structures, event structures and Petri nets von van Glabbeek, R.J., Plotkin, G.D.

Volltext

LCF considered as a programming language von Plotkin, G.D.

Volltext

Concrete domains von Kahn, G., Plotkin, G.D.

Volltext

Call-by-name, call-by-value and the λ-calculus von Plotkin, G.D.

Volltext

Retraction notice to “Semantic Domains for Combining Probability and Non-Determinism” [Electron. Notes Theoret. Comput. Sci. 129 (2005) 1-104] von Tix, R., Keimel, K., Plotkin, G.D.

Volltext

A PER model of polymorphism and recursive types von Abadi, M., Plotkin, G.D.

Volltext bestellen

Preface von Plotkin, G.D.

Volltext

Configuration structures von Van Glabbeek, R.J., Plotkin, G.D.

Volltext

On Functors Expressible in the Polymorphic Typed Lambda Calculus von Reynolds, J.C., Plotkin, G.D.

Volltext

An axiomatisation of computationally adequate domain theoretic models of FPC von Fiore, M.P., Plotkin, G.D.

Volltext bestellen

Type theory and recursion von Plotkin, G.D.

Volltext bestellen

A probabilistic powerdomain of evaluations von Jones, C., Plotkin, G.D.

Volltext bestellen

Genetic deletion of Sost or pharmacological inhibition of sclerostin prevent multiple myeloma-induced bone disease without affecting tumor growth von Delgado-Calle, J, Anderson, J, Cregor, M D, Condon, K W, Kuhstoss, S A, Plotkin, L I, Bellido, T, Roodman, G D

Volltext