Towards Nominal Abramsky (Q4922085)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 6167577

Language	Label	Description	Also known as
English	Towards Nominal Abramsky	scientific article; zbMATH DE number 6167577

Statements

scholarly article

0 references

Towards Nominal Abramsky (English)

0 references

Andrzej S. Murawski

0 references

Nikos Tzevelekos

0 references

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky

0 references

publication date

28 May 2013

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-38164-5_17

0 references

Full abstraction for PCF

0 references

0 references

A new approach to abstract syntax with variable binding

0 references

On full abstraction for PCF: I, II and III

0 references

Game-theoretic analysis of call-by-value computation

0 references

Foundations of Software Science and Computation Structures

0 references

0 references

Full abstraction for nominal general references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-642-38164-5_17

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4922085

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4922085&oldid=35333979"