The following pages link to Paula G.Severi (Q1840459):
Displaying 28 items.
- (Q220714) (redirect page) (← links)
- Type inference for pure type systems (Q1271309) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Normalization without reducibility (Q1840460) (← links)
- Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272) (← links)
- (Q2844809) (← links)
- Nominal Coalgebraic Data Types with Applications to Lambda Calculus (Q2871472) (← links)
- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus (Q2914680) (← links)
- A Light Modality for Recursion (Q2988388) (← links)
- Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus (Q3003362) (← links)
- An Operational Approach to Program Extraction in the Calculus of Constructions (Q3079924) (← links)
- (Q4499287) (← links)
- (Q4501161) (← links)
- (Q4808745) (← links)
- (Q4880706) (← links)
- Meaningless Sets in Infinitary Combinatory Logic (Q5111912) (← links)
- Pure type systems with corecursion on streams (Q5168889) (← links)
- Observational Equivalence for Multiparty Sessions (Q5212042) (← links)
- The infinitary lambda calculus of the infinite eta Böhm trees (Q5269002) (← links)
- On Sessions and Infinite Data (Q5270091) (← links)
- (Q5275352) (← links)
- Completeness of Conversion between Reactive Programs for Ultrametric Models (Q5300904) (← links)
- (Q5389089) (← links)
- Computer Science Logic (Q5394572) (← links)
- Recursive Domain Equations of Filter Models (Q5448641) (← links)
- Typed Lambda Calculi and Applications (Q5704022) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898156) (← links)
- Studies of a theory of specifications with built-in program extraction (Q5951523) (← links)
