еНаука - преглед
Преглед према Аутор Honsell, Furio
Приказ резултата 1 до 3 од 3
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2016 | An open logical framework | Honsell, Furio; Lenisa, Marina; Scagnetto, Ivan; Liquori, Luigi; Maksimovic, Petar | Научни чланак | 21aM21a - Водећи међународни часопис категорије M21a |
| 2017 | LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads | Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2018 | Plugging-in proof development environments using Locks in LF | Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan | Научни чланак | 22M22 - Међународни часопис категорије M22 |