Concepedia

Ivan Scagnetto

IS

Statistics

Publications

6

Citations

205

H-Index

6

Active since

2001

Affiliations

University of Udine(Current)

Ivan Scagnetto is an author at University of Udine specializing in engineering, automated reasoning, and formal semantics.

Top concepts

LanguageSemanticsEngineeringLinguisticsFormal MethodsFormal SemanticsAutomated ReasoningSyntaxGrammarSemantic Web

Publications per year

2001–2006

6

Publications

6

π-calculus in (Co)inductive-type theory

Furio Honsell, Marino Miculan, Ivan Scagnetto · Theoretical Computer Science · 2001 · 98 citations · Full text

Theoretical Mathematics, Inductive-type Theory, Type Theory +1

Consistency of the theory of contexts

Anna Bucalo, Furio Honsell, Marino Miculan et al. · Journal of Functional Programming · 2006 · 35 citations · Full text

A framework for typed HOAS and semantics

Marino Miculan, Ivan Scagnetto · 2003 · 30 citations

Engineering, Type Theory, Typed Signature +19

The Theory of Contexts for First Order and Higher Order Abstract Syntax

Furio Honsell, Marino Miculan, Ivan Scagnetto · Electronic Notes in Theoretical Computer Science · 2002 · 15 citations · Full text

Engineering, Type Theory, Higher-order Logic +17

Translating specifications from nominal logic to CIC with the theory of contexts

Marino Miculan, Ivan Scagnetto, Furio Honsell · 2005 · 14 citations

Intuitionistic Nominal Logic, Engineering, Constructive Logic +17

1–5 of 6