On the semantics of intensionality and intensional recursion
<p>Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a function is intensional if it operates at a level finer than (extensional) equality. This is a familiar setting for computer scientists, who often study different programs or processes that...
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | Thesis |
| Idioma: | English |
| Publicado em: |
2017
|
| Assuntos: |