Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569370970> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1569370970 abstract "Termination and Productivity Checking with Continuous Types.- Derivatives of Containers.- Max-Plus Quasi-interpretations.- Inductive Types in the Calculus of Algebraic Constructions.- On Strong Normalization in the Intersection Type Discipline.- Relative Definability and Models of Unary PCF.- Principal Typing in Elementary Affine Logic.- A Logical Framework with Dependently Typed Records.- A Sound and Complete CPS-Translation for ??-Calculus.- Abstraction Barrier-Observing Relational Parametricity.- Encoding of the Halting Problem into the Monster Type and Applications.- Well-Going Programs Can Be Typed.- Parameterizations and Fixed-Point Operators on Control Categories.- Functional In-Place Update with Layered Datatype Sharing.- A Fully Abstract Bidomain Model of Unary FPC.- On a Semantic Definition of Data Independence.- Nondeterministic Light Logics and NP-Time.- Polarized Proof Nets with Cycles and Fixpoints Semantics.- Observational Equivalence and Program Extraction in the Coq Proof Assistant.- Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts.- A Universal Embedding for the Higher Order Structure of Computational Effects." @default.
- W1569370970 created "2016-06-24" @default.
- W1569370970 creator A5008336815 @default.
- W1569370970 date "2003-08-05" @default.
- W1569370970 modified "2023-09-26" @default.
- W1569370970 title "Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings" @default.
- W1569370970 hasPublicationYear "2003" @default.
- W1569370970 type Work @default.
- W1569370970 sameAs 1569370970 @default.
- W1569370970 citedByCount "0" @default.
- W1569370970 crossrefType "book" @default.
- W1569370970 hasAuthorship W1569370970A5008336815 @default.
- W1569370970 hasConcept C118615104 @default.
- W1569370970 hasConcept C135790938 @default.
- W1569370970 hasConcept C136119220 @default.
- W1569370970 hasConcept C137343475 @default.
- W1569370970 hasConcept C176181172 @default.
- W1569370970 hasConcept C18903297 @default.
- W1569370970 hasConcept C199360897 @default.
- W1569370970 hasConcept C202444582 @default.
- W1569370970 hasConcept C2777299769 @default.
- W1569370970 hasConcept C29248071 @default.
- W1569370970 hasConcept C33923547 @default.
- W1569370970 hasConcept C41008148 @default.
- W1569370970 hasConcept C45374587 @default.
- W1569370970 hasConcept C78023250 @default.
- W1569370970 hasConcept C80444323 @default.
- W1569370970 hasConcept C86803240 @default.
- W1569370970 hasConcept C89421646 @default.
- W1569370970 hasConceptScore W1569370970C118615104 @default.
- W1569370970 hasConceptScore W1569370970C135790938 @default.
- W1569370970 hasConceptScore W1569370970C136119220 @default.
- W1569370970 hasConceptScore W1569370970C137343475 @default.
- W1569370970 hasConceptScore W1569370970C176181172 @default.
- W1569370970 hasConceptScore W1569370970C18903297 @default.
- W1569370970 hasConceptScore W1569370970C199360897 @default.
- W1569370970 hasConceptScore W1569370970C202444582 @default.
- W1569370970 hasConceptScore W1569370970C2777299769 @default.
- W1569370970 hasConceptScore W1569370970C29248071 @default.
- W1569370970 hasConceptScore W1569370970C33923547 @default.
- W1569370970 hasConceptScore W1569370970C41008148 @default.
- W1569370970 hasConceptScore W1569370970C45374587 @default.
- W1569370970 hasConceptScore W1569370970C78023250 @default.
- W1569370970 hasConceptScore W1569370970C80444323 @default.
- W1569370970 hasConceptScore W1569370970C86803240 @default.
- W1569370970 hasConceptScore W1569370970C89421646 @default.
- W1569370970 hasLocation W15693709701 @default.
- W1569370970 hasOpenAccess W1569370970 @default.
- W1569370970 hasPrimaryLocation W15693709701 @default.
- W1569370970 hasRelatedWork W1481783499 @default.
- W1569370970 hasRelatedWork W1492269319 @default.
- W1569370970 hasRelatedWork W1512882850 @default.
- W1569370970 hasRelatedWork W1534772435 @default.
- W1569370970 hasRelatedWork W1540842636 @default.
- W1569370970 hasRelatedWork W1555911745 @default.
- W1569370970 hasRelatedWork W1559704064 @default.
- W1569370970 hasRelatedWork W1571094673 @default.
- W1569370970 hasRelatedWork W1594451895 @default.
- W1569370970 hasRelatedWork W1898215458 @default.
- W1569370970 hasRelatedWork W1901075420 @default.
- W1569370970 hasRelatedWork W2010113673 @default.
- W1569370970 hasRelatedWork W2033339909 @default.
- W1569370970 hasRelatedWork W2040290487 @default.
- W1569370970 hasRelatedWork W2296150819 @default.
- W1569370970 hasRelatedWork W2519014191 @default.
- W1569370970 hasRelatedWork W2951265876 @default.
- W1569370970 hasRelatedWork W3097998064 @default.
- W1569370970 hasRelatedWork W327279188 @default.
- W1569370970 hasRelatedWork W403056589 @default.
- W1569370970 isParatext "false" @default.
- W1569370970 isRetracted "false" @default.
- W1569370970 magId "1569370970" @default.
- W1569370970 workType "book" @default.