Loading...
Research activity
| Code | Science | Field | Subfield |
|---|---|---|---|
| 1.01.01 | Natural sciences and mathematics | Mathematics | Analysis |
Keywords
mathematical logic, type theory, lambda calcualus, cut-elimination, categorical logic, topoi, combinatory logic, logic of programming, functional programming, models of computation, semantics
Data for ARIS tenders (
21.05.2024 – Target research programmes,
archive
)
Citations
Citations for bibliographic records in COBIB.SI that are linked to records in citation databases
| Database | Linked records | Citations | Pure citations | Average pure citations |
|---|---|---|---|---|
| WoS | 0 | 0 | 0 | 0 |
| Scopus | 3 | 0 | 0 | 0 |
Education
| Level of education | Professional title | Study subject | Faculty | Year |
|---|---|---|---|---|
| Engineer of Mathematics | Mathematics |
|
1974 | |
| Master's degree | Mathematics |
University of Zagreb, Faculty of Natural Sciences
|
1984 |
Doctoral dissertations and other final papers
Show
Obtaining results now
Research projects
Legend
| no. | Code | Title | Period | Head | No. of publications |
|---|---|---|---|---|---|
| 1. | J2-7647 |
|
1/1/1996 - 12/31/1998 |
|
1,761 |
ARIS research and infrastructure programmes
Legend
| no. | Code | Title | Period | Head | No. of publications |
|---|---|---|---|---|---|
| 1. | P0-0503-0797 |
|
1/1/1999 - 12/31/2003 |
|
3,925 |