The following pages link to Furio Honsell (Q688568):
Displaying 50 items.
- Using typed lambda calculus to implement formal systems on a machine (Q688571) (← links)
- A type assignment system for game semantics (Q930873) (← links)
- On the completeness of order-theoretic models of the \(\lambda \)-calculus (Q1021569) (← links)
- An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus (Q1198661) (← links)
- Semantical analysis of perpetual strategies in \(\lambda\)-calculus (Q1275628) (← links)
- Addendum and corrigendum: ``Choice principle in hyperuniverses'' (Q1295374) (← links)
- A general construction of hyperuniverses (Q1351794) (← links)
- Encoding modal logics in logical frameworks (Q1577344) (← links)
- (Q1589651) (redirect page) (← links)
- \(\pi\)-calculus in (Co)inductive-type theory (Q1589654) (← links)
- Positive qualities and the ontological argument (Q1851396) (← links)
- A category of compositional domain-models for separable Stone spaces. (Q1853606) (← links)
- Prelogical relations (Q1854557) (← links)
- A variable typed logic of effects (Q1893729) (← links)
- Choice principles in hyperuniverses (Q1919525) (← links)
- Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033) (← links)
- Approximation Theorems for Intersection Type Systems (Q2752528) (← links)
- An open logical framework (Q2804331) (← links)
- The Theory of Contexts for First Order and Higher Order Abstract Syntax (Q2841274) (← links)
- Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic (Q2841275) (← links)
- (Q2843722) (← links)
- (Q2847778) (← links)
- (Q2847785) (← links)
- (Q2847805) (← links)
- (Q2851321) (← links)
- (Q2851707) (← links)
- (Q2863894) (← links)
- A Framework for Defining Logical Frameworks (Q2864157) (← links)
- Conway Games, Coalgebraically (Q2888495) (← links)
- Equivalences and Congruences on Infinite Conway Games (Q2889179) (← links)
- Categories of Coalgebraic Games (Q2912749) (← links)
- L ax F: Side Conditions and External Evidence as Monads (Q2922027) (← links)
- (Q3024839) (← links)
- (Q3030821) (← links)
- (Q3142164) (← links)
- Implementing Cantor’s Paradise (Q3179294) (← links)
- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi (Q3184728) (← links)
- (Q3221961) (← links)
- Conway games, algebraically and coalgebraically (Q3224674) (← links)
- (Q3328538) (← links)
- (Q3343978) (← links)
- RPO, Second-order Contexts, and Lambda-calculus (Q3395101) (← links)
- (Q3408153) (← links)
- (Q3491534) (← links)
- (Q3659776) (← links)
- COMPARISON OF THE AXIOMS OF LOCAL AND GLOBAL UNIVERSALITY (Q3674646) (← links)
- The consistency of the axiom of universality for the ordering of cardinalities (Q3691661) (← links)
- (Q3748275) (← links)
- A Model where Cardinal Ordering is Universal (Q3767340) (← links)
- (Q3773884) (← links)
