Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Higher-Order Dynamic Pattern Unification for Dependent Types and Records
 

Summary: Higher-Order Dynamic Pattern Unification for
Dependent Types and Records
Andreas Abel
(joint work with Brigitte Pientka)
Department of Computer Science
Ludwig-Maximilians-University Munich
Typed Lambda Calculi and Applications
Novi Sad, Serbia
1 June 2011
Abel Pientka (LMU/McGill) HO Unification TLCA 2011 1 / 1
A little anniversary...
My 5th consecutive TLCA paper!
2003 Valencia
2005 Nara
with Thierry Coquand
2007 Paris
2009 Brasilia
with Thierry Coquand
and Miguel Pagano
2011 Novi Sad

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen

 

Collections: Computer Technologies and Information Sciences