The following pages link to A. J. Kfoury (Q801664):
Displaying 36 items.
- Necessary and sufficient conditions for the universality of programming formalisms (Q801666) (← links)
- The unwind property for programs with bounded memory (Q1067771) (← links)
- Definability by programs in first-order structures (Q1171876) (← links)
- On the expressive power of finitely typed and universally polymorphic recursive procedures (Q1185006) (← links)
- Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus (Q1193590) (← links)
- The undecidability of the semi-unification problem (Q1207950) (← links)
- Translatability of schemas over restricted interpretations (Q1844072) (← links)
- Alpha-conversion and typability (Q1854262) (← links)
- Orderly communication in the ambient calculus. (Q1869977) (← links)
- Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
- Efficient reassembling of three-regular planar graphs (Q2175057) (← links)
- Efficient reassembling of graphs. I: The linear case (Q2359807) (← links)
- (Q2763674) (← links)
- Implementing Compositional Analysis Using Intersection Types With Expansion Variables (Q2842841) (← links)
- Safe compositional network sketches (Q2985887) (← links)
- The Complexity of Restricted Variants of the Stable Paths Problem (Q3000275) (← links)
- (Q3204025) (← links)
- Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic) (Q3709863) (← links)
- (Q3766818) (← links)
- A linear-time algorithm to decide whether a binary word contains an overlap (Q3789095) (← links)
- (Q3829053) (← links)
- (Q3925141) (← links)
- (Q3939207) (← links)
- (Q3962469) (← links)
- (Q4027630) (← links)
- (Q4029600) (← links)
- (Q4040439) (← links)
- On the termination of program schemas (Q4095834) (← links)
- (Q4249224) (← links)
- An analysis of ML typability (Q4299012) (← links)
- (Q4430287) (← links)
- A linearization of the Lambda-calculus and consequences (Q4500177) (← links)
- A User-friendly Interface for a Lightweight Verification System (Q5170234) (← links)
- (Q5184368) (← links)
- Personal Reflections on the Role of Mathematical Logic in Computer Science (Q5212039) (← links)
- Programming Languages and Systems (Q5308705) (← links)
