huitseeker's tags

abstract_types acl2 agda alfa algebra automated_deduction automatic automted_deuction axiomatic bibtex-import canonical cast catamorphism categorial categories category certification church-rosser classes classification comparison congruence_closure constraints content coonstraint-based coq cyclicity data_structure de_bruijn dependent design directed disk disk_drive distributed double encryption epigram equality equivalence eta-reduction explicit expression_problem failure file-import-08-06-18 fokkinga fold formal formalization fresh functional functor google groups hardware haskell hoas hol implementation imps induction induction-recursion inference information introduction isabelle isomorphism isomorphisms java lambda_calculus late_binding lego lf linear_logic liveness locally_nameless manifest mechanized metamath mixin mizar ml model_checking module multi-methods nbe nominal normalization nuprl object ocaml omega optimization ordered otter overloading pagerank parametric-types patterns petri_nets phox pi_calculus pi-duce polymorphism poplmark programmign programming property protocol provers proving pure pvs recursion reflection requirement resolution rewrite rewriting runtime_types safe safety sat scala scala-related second-order security semantics semantic_subtyping simultaneou_substitution soundness substitution subtyping swaps theorem theorema theorem_proving theory thesis todo twelf type type_classes typed types undecidable universe web workflow xduce xml xtatic zipper

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.