ion : règle (comb-K). M est de la forme fun z → C où C est soit une variable différente de z, soit un opérateur, soit un setm, soit un getm. Dans ce cas, [M ] vaut K C. On cherche à montrer que fun z → C ≃ (fun x → fun y → x)C. Or on a : (fun x → fun y → x)C / s → fun y → C / s (on suppose ici que C n’est pas la variable y pour éviter les considérations sur l’alpha-conversion lors de l’applicat...

Despite the attention that various forms of ellipsis have received in the liter ature, the conditions under which a representation of an utterance may serve as a suitable referent for interpreting subsequent elliptical forms remain poorly understood. This fun damental question remains as a point of contention, particularly because there are data to support various conflicting approaches that at...

In 2007 FUN established the FUN Program and Department Consultations Service, or FUN-PDCS. Since that founding, the service has provided numerous consultation recommendations to undergraduate programs seeking assistance with external program reviews, designing and improving courses and many other programmatic needs. FUN-PDCS, like FUN, is primarily a grassroots organization and draws on the exp...