The following pages link to ETPS (Q18433):
Displaying 50 items.
- From Classical to Fuzzy Type Theory (Q3454816) (← links)
- A Hoare Logic for Call-by-Value Functional Programs (Q3521994) (← links)
- A Nominal Axiomatization of the Lambda Calculus (Q3553919) (← links)
- Automated Termination Analysis for Programs with Second-Order Recursion (Q3557079) (← links)
- Supra-logic: using transfinite type theory with type variables for paraconsistency (Q3647220) (← links)
- Combining Theories with Shared Set Operations (Q3655212) (← links)
- (Q3972529) (← links)
- A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification (Q3985547) (← links)
- (Q4247084) (← links)
- (Q4255516) (← links)
- (Q4259975) (← links)
- (Q4273676) (← links)
- (Q4282596) (← links)
- A Proof-theoretic Analysis of Goal-directed Provability (Q4286216) (← links)
- Theorem proving using equational matings and rigid <i>E</i> -unification (Q4302815) (← links)
- (Q4348920) (← links)
- (Q4365102) (← links)
- (Q4385444) (← links)
- Alonzo church:his life, his work and some of his miracles (Q4391354) (← links)
- (Q4411046) (← links)
- (Q4435458) (← links)
- (Q4503899) (← links)
- (Q4520772) (← links)
- Identity, equality, nameability and completeness. Part II (Q4629288) (← links)
- On sets, types, fixed points, and checkerboards (Q4645222) (← links)
- (Q4692548) (← links)
- (Q4790648) (← links)
- (Q4806966) (← links)
- Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity (Q4823803) (← links)
- (Q4856947) (← links)
- (Q4860656) (← links)
- RECONSTRUCTION OF G. SPENCER BROWN'S THEME (Q4861631) (← links)
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages (Q4870066) (← links)
- Fluted formulas and the limits of decidability (Q4894729) (← links)
- The Structure of Differential Invariants and Differential Cut Elimination (Q4899116) (← links)
- A Theory of System Interaction: Components, Interfaces, and Services (Q4928700) (← links)
- $n$-fold obstinate and $n$-fold fantastic (pre)filters of $EQ$-algebras (Q4958617) (← links)
- Rewriting, and equational unification: the higher-order cases (Q5055746) (← links)
- Graded Generalized Hexagon in Fuzzy Natural Logic (Q5117196) (← links)
- Extending Sledgehammer with SMT Solvers (Q5200019) (← links)
- On General Properties of Intermediate Quantifiers (Q5230075) (← links)
- Dependent ML An approach to practical programming with dependent types (Q5308083) (← links)
- Higher-order semantics and extensionality (Q5311767) (← links)
- Algebraic Methodology and Software Technology (Q5312990) (← links)
- Mathematical Knowledge Management (Q5313071) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing (Q5423867) (← links)
- Mathematical Fuzzy Logic in Modeling of Natural Language Semantics (Q5434002) (← links)
- Theorem Proving in Higher Order Logics (Q5477646) (← links)
- Theorem Proving in Higher Order Logics (Q5477647) (← links)
