UB Paderborn / Katalog / Suche / in CDI

COMBINATION OF IRAK4 (CA‐4948) AND BTK (VECABRUTINIB) INHIBITORS SHOW SUPERIOR EFFICACY IN PRECLINICAL MODELS OF ABC DLBCL TUMORS CONTAINING MYD88‐L265P MUTATIONS

Hematological oncology, 2019-06, Vol.37 (S2), p.512-512

2019

Volltextzugriff (PDF)

Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo

Typed Lambda Calculi and Applications, p.102-117

Volltextzugriff (PDF)

A Substructural Type System for Delimited Continuations

Typed Lambda Calculi and Applications, p.223-239

Volltextzugriff (PDF)

The Inhabitation Problem for Rank Two Intersection Types

Typed Lambda Calculi and Applications, p.240-254

Volltextzugriff (PDF)

Simple Saturated Sets for Disjunction and Second-Order Existential Quantification

Typed Lambda Calculi and Applications, p.366-380

Volltextzugriff (PDF)

Initial Algebra Semantics Is Enough

Typed Lambda Calculi and Applications, p.207-222

Volltextzugriff (PDF)

Computation by Prophecy

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, p.70-83

2007

Volltextzugriff (PDF)

Intuitionistic Refinement Calculus

Typed Lambda Calculi and Applications, p.54-69

Volltextzugriff (PDF)

The Safe Lambda Calculus

Typed Lambda Calculi and Applications, p.39-53

Volltextzugriff (PDF)

An Isomorphism Between Cut-Elimination Procedure and Proof Reduction

Typed Lambda Calculi and Applications, p.336-350

Volltextzugriff (PDF)

From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing

Typed Lambda Calculi and Applications, p.2-7

Volltextzugriff (PDF)

Higher-Order Logic Programming Languages with Constraints: A Semantics

Typed Lambda Calculi and Applications, p.272-289

Volltextzugriff (PDF)

Predicative Analysis of Feasibility and Diagonalization

Typed Lambda Calculi and Applications, p.290-304

Volltextzugriff (PDF)

Weakly Distributive Domains

Typed Lambda Calculi and Applications, p.194-206

Volltextzugriff (PDF)

Edifices and Full Abstraction for the Symmetric Interaction Combinators

Typed Lambda Calculi and Applications, p.305-320

Volltextzugriff (PDF)

Polynomial Size Analysis of First-Order Functions

Typed Lambda Calculi and Applications, p.351-365

Volltextzugriff (PDF)

Extensional Rewriting with Sums

Typed Lambda Calculi and Applications, p.255-271

Volltextzugriff (PDF)

Type inference in polymorphic type discipline

Theoretical Aspects of Computer Software, 2005, p.18-37

2005

Volltextzugriff (PDF)

Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves

Typed Lambda Calculi and Applications, p.23-38

Volltextzugriff (PDF)

Strong Normalization and Equi-(Co)Inductive Types

Typed Lambda Calculi and Applications, p.8-22

Volltextzugriff (PDF)

On a Logical Foundation for Explicit Substitutions

Typed Lambda Calculi and Applications, p.1-1

Volltextzugriff (PDF)

The Baby Boomers

The Enduring Advisory Firm, 2016, p.55-68

2016

Volltextzugriff (PDF)

Key Business Trends

The Enduring Advisory Firm, 2016, p.1-14

2016

Volltextzugriff (PDF)

Generation Z and Beyond

The Enduring Advisory Firm, 2016, p.93-97

2016

Volltextzugriff (PDF)

Transforming from Practice to Business

The Enduring Advisory Firm, 2016, p.117-134

2016

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

COMBINATION OF IRAK4 (CA‐4948) AND BTK (VECABRUTINIB) INHIBITORS SHOW SUPERIOR EFFICACY IN PRECLINICAL MODELS OF ABC DLBCL TUMORS CONTAINING MYD88‐L265P MUTATIONS

Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo

A Substructural Type System for Delimited Continuations

The Inhabitation Problem for Rank Two Intersection Types

Simple Saturated Sets for Disjunction and Second-Order Existential Quantification

Initial Algebra Semantics Is Enough

Computation by Prophecy

Intuitionistic Refinement Calculus

The Safe Lambda Calculus

An Isomorphism Between Cut-Elimination Procedure and Proof Reduction

From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing

Higher-Order Logic Programming Languages with Constraints: A Semantics

Predicative Analysis of Feasibility and Diagonalization

Weakly Distributive Domains

Edifices and Full Abstraction for the Symmetric Interaction Combinators

Polynomial Size Analysis of First-Order Functions

Extensional Rewriting with Sums

Type inference in polymorphic type discipline

Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves

Strong Normalization and Equi-(Co)Inductive Types

On a Logical Foundation for Explicit Substitutions

The Baby Boomers

Key Business Trends

Generation Z and Beyond

Transforming from Practice to Business

Suchergebnisse filtern