Search Results - "Birkedal, L."

Domain-theoretical models of parametric polymorphism by Birkedal, L., Møgelberg, R.E., Petersen, R.L.

“…We present a domain-theoretical model of parametric polymorphism based on admissible per’s over a domain-theoretical model of the untyped lambda calculus. The…”
Get full text

A general notion of realizability by Birkedal, L.

“…We present a general notion of realizability, encompassing both standard Kleene style realizability over partial combinatory algebras and Kleene style…”
Get full text

Semantics of separation-logic typing and higher-order frame rules by Birkedal, L., Torp-Smith, N., Yang, H.

“…We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol…”
Get full text

Logical Step-Indexed Logical Relations by Dreyer, D., Ahmed, A., Birkedal, L.

“…We show how to reason about "step-indexed" logical relations in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic…”
Get full text

First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees by Birkedal, L., Mogelberg, R. E., Schwinghammer, J., Stovring, K.

“…We present the topos S of trees as a model of guarded recursion. We study the internal dependently-typed higher-order logic of S and show that S models two…”
Get full text

Equilogical spaces by Bauer, Andrej, Birkedal, Lars, Scott, Dana S.

“…It is well known that one can build models of full higher-order dependent-type theory (also called the calculus of constructions) using partial equivalence…”
Get full text

A General Notion of Realizability by Birkedal, Lars

“…We present a general notion of realizability encompassing both standard Kleene style realizability over partial combinatory algebras and Kleene style…”
Get full text

The declining spadefoot toad Pelobates fuscus: calling site choice and conservation by Nyström, Per, Birkedal, Linda, Dahlberg, Christina, Brönmark, Christer

“…We investigated whether local biotic and abiotic conditions could explain the occurrence of calling males of the declining spadefoot toad Pelobates fuscus in…”
Get full text

An infrastructure for context dependent mobile multimedia communication by Serensen, J.Aa, Kristoffersen, K.J., Cervera, A., Schiortz, M., Lynge, T., Safar, Z., Birkedal, L.

“…The initial work on an indoor infrastructure for context dependent mobile multimedia communication is presented. The aim is to enable simultaneously research…”
Get full text

Relational Interpretations of Recursive Types in an Operational Setting by Birkedal, Lars, Harper, Robert

“…Relational interpretations of type systems are useful for establishing properties of programming languages. For languages with recursive types it is difficult…”
Get full text

A constraint-based region inference algorithm by Birkedal, Lars, Tofte, Mads

“…Region inference is a type-based technique for determining run time memory management at compile time. It is targeted at a runtime model in which the store…”
Get full text

Relational interpretations of recursive types in an operational setting: Expanded versions of selected papers from the 3rd symposium on Theoretical Aspects of Computer Software (TACS '97) by BIRKEDAL, L, HARPER, R

Get full text

Relative and modified relative realizability by Birkedal, Lars, van Oosten, Jaap

“…The classical forms of both modified realizability and relative realizability are naturally described in terms of the Sierpinski topos. The paper puts these…”
Get full text

Modulation of Gait During Visual Adaptation to Dark by Moe-Nilssen, Rolf, Helbostad, Jorunn L., Åkra, Torunn, Birkedal, Lene, Nygaard, Harald A.

“…The authors investigated the modulation of gait during dark adaptation. Twenty-five women (mean age = 72 years, SD = 5 years) walked back and forth on an…”
Get full text

Elementary axioms for local maps of toposes by Awodey, Steven, Birkedal, Lars

“…We present a complete elementary axiomatization of local maps of toposes…”
Get full text

On propositions-as-types in realizability models by BIRKEDAL, L

Get full text

Type theory via exact categories by Birkedal, L., Carboni, A., Rosolini, G., Scott, D.S.

“…Partial equivalence relations (and categories of these) are a standard tool in semantics of type theories and programming languages, since they often provide a…”
Get full text

Rehabilitation in nursing homes. Experiences from a 3-year period by Nygaard, H A, Birkedal, L

“…Patients who were admitted to a rehabilitation unit in a somatic nursing home between 1.9.1987 and 31.12.1988 were interviewed approximately 19 months (mean)…”
Get more information