نتایج جستجو برای: panzar rosse

تعداد نتایج: 131  

1989
Frank Pfenning Christine Paulin-Mohring

W e define t h e no t i on of an inductively defined type in t h e Calculus of C o n s t r u c t i o n s a n d show how induc t ive ly defined types can be represen ted by closed t y p e s . W e show t h a t all p r imi t ive recursive funct ionals over these induct ive ly defined types a r e also r ep resen tab le . Th i s general izes work by B o h m & Be ra rducc i on synthes is of funct ion...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید