Invertibility in /spl lambda//spl eta/.
| Autor: | Folkerts, E. |
|---|---|
| Zdroj: | Proceedings Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat No98CB36226); 1998, p418-429, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Folkerts, E. |
|---|---|
| Zdroj: | Proceedings Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat No98CB36226); 1998, p418-429, 12p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|