Dados los conjuntos y , una relación difuncional entre ellos se define como una relación que satisface la siguiente propiedad:
Si y y , entonces .
Las relaciones difuncionales son una generalización del concepto de relaciones de equivalencia parcial que permiten definir una noción de igualdad a partir de diferentes conjuntos. Como resultado, también se conocen como cuasi-PER (QPER), y también se conocen como relaciones en zig-zag, debido a la siguiente imagen:
Estoy escribiendo un documento que los usa, pero he tenido problemas para localizar buenas referencias para su uso en semántica.
- Martin Hoffman los usa en la corrección de las transformaciones de programas basadas en efectos .
- He visto menciones (pero no buenas referencias) que afirman que Tennant y Takeyama también han propuesto su uso.
Son una idea tan bonita que tengo problemas para creer que mi uso particular de ellos es original. Realmente agradecería cualquier referencia adicional.
reference-request
pl.programming-languages
denotational-semantics
logical-relations
Neel Krishnaswami
fuente
fuente
Respuestas:
Makoto Takeyama y yo enviamos lo siguiente a [email protected] el 5 de enero de 1996:
fuente
No sé sobre el campo de la semántica, pero el concepto que mencionas es crucial en la complejidad de contar.
fuente