Delving into the Latest Updates on IT-Universitetet I København with Synapse

Overview

Basic Info

Introduction

The IT University of Copenhagen, commonly known as ITU, is a government-funded university and research center located in Denmark's capital city.

Tags

Endocrinology and Metabolic Disease

Other Diseases

Small molecule drug

Disease domain score

A glimpse into the focused therapeutic areas

Technology Platform

Most used technologies in drug development

Targets

Most frequently developed targets

Disease Domain	Count

Endocrinology and Metabolic Disease	1

Top 5 Drug Type	Count

Small molecule drug	1

Top 5 Target	Count

FFAR3(free fatty acid receptor 3)	1

This issue's contributions highlight the impact and educational value of the qualitative and quantitative analysis papers. Enjoy reading!While I will keep inviting members of the data management community, and neighboring communities, to contribute to this column, I also welcome unsolicited contributions. Please contact me if you are interested.

07 Jan 2025·Proceedings of the ACM on Programming Languages

Modelling Recursion and Probabilistic Choice in Guarded Type Theory

Author: Zwart, Maaike Annebet ; Møgelberg, Rasmus Ejlers ; Stassen, Philipp ; Birkedal, Lars ; Aguirre, Alejandro

Constructive type theory combines logic and programming in one language. This is useful both for reasoning about programs written in type theory, as well as for reasoning about other programming languages inside type theory. It is well-known that it is challenging to extend these applications to languages with recursion and computational effects such as probabilistic choice, because these features are not easily represented in constructive type theory. We show how to define and reason about FPC⊕ , a programming language with probabilistic choice and recursive types, in guarded type theory. We use higher inductive types to represent finite distributions and guarded recursion to model recursion. We define both operational and denotational semantics of FPC⊕ , as well as a relation between the two. The relation can be used to prove adequacy, but we also show how to use it to reason about programs up to contextual equivalence.

100 Deals associated with IT-Universitetet I København

Login to view more data

100 Translational Medicine associated with IT-Universitetet I København

Login to view more data

Corporation Tree

Boost your research with our corporation tree data.

login

or

view full example data

Boost your research with our corporation tree data.

Pipeline

Pipeline Snapshot as of 02 Feb 2025

The statistics for drugs in the Pipeline is the current organization and its subsidiaries are counted as organizations,Early Phase 1 is incorporated into Phase 1, Phase 1/2 is incorporated into phase 2, and phase 2/3 is incorporated into phase 3

Preclinical

1

Login to view more data