Hasil Pencarian - Ivan Scagnetto

  • Menampilkan 1 - 6 hasil dari 6
Perbaiki Hasil
  1. 1
    A weak HOAS approach to the POPLmark Challenge

    A weak HOAS approach to the POPLmark Challenge oleh Alberto Ciaffaglione, Ivan Scagnetto

    Diterbitkan 2013-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks

    Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks oleh Furio Honsell, Luigi Liquori, Petar Maksimović, Ivan Scagnetto

    Diterbitkan 2015-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    $\mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads

    $\mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads oleh Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto

    Diterbitkan 2017-07-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    LF+ in Coq for "fast and loose" reasoning

    LF+ in Coq for "fast and loose" reasoning oleh Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto

    Diterbitkan 2019-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study

    Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study oleh Marco De Piante, Michele Midrio, Roberto Rinaldo, Ivan Scagnetto, Ruben Specogna, Francesco Trevisan

    Diterbitkan 2024-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs)

    Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs) oleh Angelo Odetti, Gabriele Bruzzone, Roberta Ferretti, Simona Aracri, Federico Carotenuto, Carolina Vagnoli, Alessandro Zaldei, Ivan Scagnetto

    Diterbitkan 2024-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: