Pulse استكشاف nav.journalClub النقاشات الرائج الباحثون المجلات

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

الرئيسية استكشاف nav.journalClub الرائج

⌘+K

Niklas van de Sand | Synapse

NV

Niklas van de Sand

Logic, programming, and type systems

University Hospital Bonn

About

Research focus

Logic, programming, and type systems

Impact

2 pubs

Affiliations

Publications