The following pages link to Luigi Liquori (Q930883):
Displayed 35 items.
- Extending FeatherTrait Java with interfaces (Q930885) (← links)
- Comparing cubes of typed and type assignment systems (Q1365249) (← links)
- A decidable subtyping logic for intersection and union types (Q1698759) (← links)
- Intersection-types à la Church (Q2381503) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)
- (Q2769430) (← links)
- (Q2778872) (← links)
- An open logical framework (Q2804331) (← links)
- (Q2844065) (← links)
- (Q2848119) (← links)
- (Q2849860) (← links)
- (Q2851046) (← links)
- (Q2851086) (← links)
- A Framework for Defining Logical Frameworks (Q2864157) (← links)
- Virtual Organizations in Arigatoni (Q2864213) (← links)
- L ax F: Side Conditions and External Evidence as Monads (Q2922027) (← links)
- Pure patterns type systems (Q2942930) (← links)
- Logic and Computation in a Lambda Calculus with Intersection and Union Types (Q3066099) (← links)
- A Realizability Interpretation for Intersection and Union Types (Q3179292) (← links)
- Implementing Cantor’s Paradise (Q3179294) (← links)
- (Q3408131) (← links)
- iRho: an imperative rewriting calculus (Q3520144) (← links)
- (Q4375807) (← links)
- (Q4458488) (← links)
- (Q4474827) (← links)
- (Q4501164) (← links)
- Plugging-in proof development environments using<i>Locks</i>in<tt>LF</tt> (Q4691186) (← links)
- (Q4944856) (← links)
- Object calculi in linear logic (Q4952027) (← links)
- (Q5089030) (← links)
- (Q5090978) (← links)
- $\mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads (Q5278085) (← links)
- Addressed term rewriting systems: application to a typed object calculus (Q5482264) (← links)
- A Conditional Logical Framework (Q5505549) (← links)
- Types for Proofs and Programs (Q5712302) (← links)