„lambda-term“
Suchergebnisse
1.000+ Treffer
-
Enhancing transcription in Escherichia coli and Pseudomonas putida using bacteriophage lambda anti-terminator protein Q
-
Sign and the lambda-term
-
On lambda binding constraints and context unification
-
Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
-
Logical Foundations of Computer Science – International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
-
Separating Terms by Means of Multi Types, Coinductively
-
Böhm and Taylor for All!
-
Strict Ideal Completions of the Lambda Calculus
-
Simple Types for Probabilistic Termination
-
Pragmatic Isomorphism Proofs Between Coq Representations: Application to Lambda-Term Families
-
Two Decreasing Measures for Simply Typed λ-Terms
-
Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus
-
Probabilistic Rewriting: Normalization, Termination, and Unique Normal Forms
-
On the Taylor Expansion of Probabilistic lambda-terms
-
Normalization by Evaluation for Typed Weak lambda-Reduction
-
On the Number of Variables in Special Classes of Random Lambda-Terms
-
On Repetitive Right Application of B-Terms
-
Single-molecule measurements of bacteriophage lambda DNA packaging using purified terminase motor proteins and E. coli integration host factor
-
The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type
-
Models and Termination of Proof Reduction in the lambda Pi-Calculus Modulo Theory