Realizability in ordered combinatory algebras with adjunction.
Saved in:
| Title: | Realizability in ordered combinatory algebras with adjunction. |
|---|---|
| Authors: | SANTOS, WALTER FERRER1,2 mguille@fing.edu.uy, GUILLERMO, MAURICIO3 malherbe@fing.edu.uy, MALHERBE, OCTAVIO1,3 |
| Source: | Mathematical Structures in Computer Science. Mar2019, Vol. 29 Issue 3, p430-464. 35p. |
| Database: | Mathematics Source |
Be the first to leave a comment!
