| Authors |
|
| Publication date |
2013
|
| Host editors |
-
B. Coecke
-
L. Ong
-
P. Panangaden
|
| Book title |
Computation, logic, games, and quantum foundations: the many facets of Samson Abramsky
|
| Book subtitle |
essays dedicated to Samson Abramsky on the occasion of his 60th birthday
|
| ISBN |
|
| ISBN (electronic) |
|
| Series |
Lecture Notes in Computer Science
|
| Pages (from-to) |
327-335
|
| Publisher |
Heidelberg: Springer
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
The dependence atom =(x,y) was introduced in [11]. Here x and y are finite sets of attributes (or variables) and the intuitive meaning of =(x,y) is that the attributes x completely (functionally) determine the attributes y. One may wonder, whether the dependence atom is truly an atom or whether it has further constituents. My very pleasant co-operation with Samson Abramsky led to the breaking of this atom, with hitherto unforeseen consequences. Here is the story.
|
| Document type |
Chapter
|
| Language |
English
|
| Published at |
https://doi.org/10.1007/978-3-642-38164-5_22
|
|
Permalink to this page
|